adicionar à lista de desejos
Proof Theory eBook
Sequent Calculi And Related Formalisms
language: english
Publisher:
CRC PRESS, August of 2014 ‧
see product details
83,46€
10% OFF
CARD
VFhKaWJWWk9WMU5YYm1JNFpXMUpXWFEyVnpKRk9ERmFTMUJ0YzJSbFUwUnpNMlpNVEdjd00wSkhLeTkzU0ZKV1NVUmxVRTh2ZDAxa1pFZzFjMFZYWm1sMmRDdFVTamxDZFRabk1YRmFORVp5WjBWRVNYUldlVXN4ZW14dU1XTk5ZbGRqWWtOcVlVbFdXaTlsT1UxT1EzWnJWMmRzTlhoYWJWZDVWRzUzYlhvdk1HUndXazVYY2tscE1FZDRWMFJRV2pVME1XeFZXVEo1WmtFNFV6Sk5XalJyUTB0RU5YRnVSVFJpTXpKeVF6aFdWVmRsYjBRMWJGRk1heTh6YUdkM2NIUlViVmx5VGs1RlRGaGtZVE4zY1ZsVGNtWldORVpOZWpoQmFuUXhPRkl3ZW01dU1GZHJMMUZGU3pCUWVrWm9hVzlUYWxWblpHTlVWMjU1VTB3d1IzVktNSEJRYVhKUk0zTnNWMlJEZVdNeVdGWnRTVVF4Y1ZWaWVVUkxhM0JUU1dscmEyd3hVemRrTlVSQ1drbzVSMkoyYURWNk5YcFdaRGR5WWtJM1IxZFBSVnBWU0d4WFQxTnplamRDUTJkaE1sRkxSSEEwWkRSSEwwODJaRkJwT1hCMWEzQlVXaXRvZHpodFVFaG1ZVTl3ZUdsdVEzTndaMHRyUlRkUlRIUm5ZMk5qYkZoRVEyOVZUamhVYzFkMVlVZHhlbTh2ZW1KRU5UVnVNV2hSUzFKc1J6bFRlVzFDYldsdVVESnZlVlZYY2t0eEszZDBkbEJhYW5oMGVYbEZReTkzTjNkVGQwcGljR3g1TlRob1pEbHNlRGhtVm1wYVJYQTBTRWh1VGtkNlRrRlJkV0ZOWVU0clNra3dSV1UyYnpObGRrSm9iakY1VkdWdlIwNVNRVVp2WkhjdmJIZGFhbXRGWVU0NVNVbFBRazV6ZEhSYWRVVlNVa0V6WWpKMGRHczJZbFpwT1ZwcWNtSkhOMlp0UTFkaVlVNUJRbFJXVnpJeVNpdGtZa1ZZU1U1dE1IUk9UMGRvYTFKMGFuRTNWUzlvUTB0bVVtTlpRVkpEZG5SRk1FOWtTRmhRZUZKTU16QXlLMUp1WWt3M1RXVTJkamhTV1dSeGRpOW5hVEF3Ums5RWIwVmtNVGgzVTJKTk5td3hiRzFNZWtobVRXaEdhbkJ4Y1RSS1FuZFlXR2NyTkVWU2Mya3lVMVZ1WXl0RFRuSm1iRU00VldKQlZsZFZOWEJyVjBSVldqTnRjM29yWnpaWmNXUXdNRFZGVkZWc1owTlNTRkp0VFdwVE9HaDBWVWhpY0UxT04yTXpSR1ZKUFE9PToxWVJuajZsdTNnanpxMWsyN0ZuRk1RPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
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, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9781466564688 |
| Publisher: | CRC PRESS |
| Release Date: | August of 2014 |
| Language: | English |
| Format: | eBook |
| Collection: | Discrete Mathematics And Its Applications |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9781466564688 |
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 LTD76,64€
85,16€free shipping