adicionar à lista de desejos
Proof Theory
Sequent Calculi And Related Formalisms
language: english
Publisher:
TAYLOR & FRANCIS LTD, October of 2024 ‧
see product details
76,64€
10% OFF
YTNvME0xWk1NV2R0U2pGM2JFMVJibFJOWjFwR1ZVOTNVVXM1WnpGQlVtWXlXRmgzVERKVk1FSnhRV013U2paQ1ZtRnlTMWhZZWxsRVVFSkJWbFp1YlhaUk5sRlpNVUZvTkdFeGIwUmxNa2w2T0hWUGRrZzFkRTVLZUdvNE1VVkhlazVJTUhsRFpqTnZOME52TkhNcmRqZzNjbVU1TkhoUWQybEdPVVppVUZsNFlWaHZaMDlRTW5oUFkxTm5OSEJYTTNWeU5YTldieXRMYzBwYVYzZE9ZMEphVDJGSFVtNW1aVzlKZFcxTlUwMTVUVkY1TjB4elpXRlViRVZ1Y1d4UVlrMUVNM0pSY1ZwSFoyeEROak5IUTFkQ2JsUjNNblJpUlhkMllYUTJVMDVxUlRoWVdrRlpZVTFEVWtWSmQyTjBkSE5tUjJGc1YwZDRaekZIYzI1WGVsbzRXVlYxVlhFeGFVNUliM2w1YkROb2EzaE9jR295VFhGRmQwc3pPR051VEVwQ2MxUmlORTF2UWtVd1QxQTRRVFZYTHpsblFuWTFlbmhKY0hnMmJXOHJZMDR5T1VOclZ6VnRSVlV4Y3k4elVVb3dNMnBCVERObE1FOWpVRWt4YlZadFNTOUpiRFZCZGpaM2RtcEpiamhhUVZwNmFVTjFTVFpTVW14dFZYSm5VVFEzTDNwcUszUXJkVkZPZEZKTlZqaDJTbll2UzBGMVoyOURSRUZoVFVsM1RHZHJkMjh2Y2pScU9HcGlja2c1Y1dKek9VVnJSRkIyWnpkWlZWRnlTa2Q1WjBFMk0wWlRiVkZSZVUxUFpVWkpWSGxNY0dkUGMyNWpaRVZaVjNsMk1FaElRVVZMV25ReFRWcExVbmRPUWl0Qk4ybFFNWE5yVFdsVldFMWFNR0ZLTUhreFJFMW9URGhSTlRsTldHWnhObkpLTUZJM01EUlhhVU5wTDFOTlVYSndjakpYUzFGdmJsVmpWRFl3ZVROV05rUjJhblJ4ZW1scVJVVXZlbmsxZGxNMVUwZElOV1pJYVVWMlQxSk1hMU5DTkRoR2FUSnNkM0ZzTDBKUGVtbFFVek5KUVdaNFJEWm5RamhTZVc5MFZGZ3dRVnBqV2t3MmJXdHFVMEpHWVE9PTpEU3hXRlZUTGlYMitxTTlFdkVESTVnPT0=
free shipping
Sell your book
SYNOPSIS
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9781032920771 |
| Publisher: | TAYLOR & FRANCIS LTD |
| Release Date: | October of 2024 |
| Language: | English |
| Dimensions: | 156 x 234 x 20 mm |
| Cover: | Softcover |
| Pages: | 386 |
| Format: | Book |
| Collection: | Discrete Mathematics And Its Applications |
| Categories: |
Books in English
>
Science
>
Mathematics
Books in English > Social Sciences and Humanities > Philosophy Books in English > Others |
| EAN: | 9781032920771 |
BOOKS FROM THE SAME COLLECTION
-
imagem não disponívelCombinatorial Methods With Computer ApplicationseBook10%Combinatorial Methods With Computer ApplicationsCRC PRESS180,19€ 10% CARD
-
10%Handbook Of Combinatorial Algebraic GeometryTAYLOR & FRANCIS LTD279,84€
310,93€free shipping
-
10%Combinatory LogicTAYLOR & FRANCIS LTD76,64€
85,16€free shipping -
10%Proof TheoryTAYLOR & FRANCIS INC168,97€ 10% CARDfree shipping