adicionar à lista de desejos
Goal-Directed Proof Theory eBook
language: english
Publisher:
SPRINGER NETHERLANDS, April of 2013 ‧
see product details
118,59€
10% OFF
CARD
YlNzdlV6QkVWbEk1TlZWcGFFWjFMMmxyYlV4M1RtTnlNMDExTDBoQ1lrbExka05EUms1dWMwcFFPVXhqZGxkcVkyWjBkV3BNYUc1dE4yWkhkbmxKZEhoQlNESTRielpQU3pGd01GSnFNMEpOVW1WS05HbHRNalUyYlV4M2JGTnpjRWxoV0Vjdk16Y3dhbFZ5VEhSVE4zbEZZMkYwZDFkclJ6SnpTbWMxU21OdGNWQlpWV2RUVEZoRVdYSmFNQzgzT0hOTmNYTXZTMkpHWVZNd05VaHdTbmhaTml0RFpIVnJSR0ZZYUd3ck1UTndNMjgwVERobGVqQjZNR296YkRocFlVbzFZVzAwV0hCT2JuVnVjbk16UmtKSVZqaHhka2t2YW1oYVZXWjBTMEpVV1M4eFRuRnBNbGRUUXpka1UzSldSME53T0RWUWVsbzFSMXB1Y25aQ01WcGpjemxIY0dSdmRIQmlZbFJUVVVwa2VpOUxkWEZyTWtKcVJuZ3JaVWg1UkRoT0wydGhPSEZ4Y21SdFRHYzNhRTB5U1NzeGRFWTNVbXAwV1hGc2RXVjVSMUo2VTNKMk9YcEhkR05TVWpBeFNIaFJiRk56YldoeVpuUnJiMEppVGtkMWVscEVSRTF2T0ZwcmNHdHpWR2Q0Wm0xelJVcG9UREZZYzBORVNIb3dNekp4VDFadWFFaHhURGxrWTNoTVJWbDFjRWR6VURaT1R6SlpObmc1TDBSelNUZHZXQzh6VEdreFZFUnFZVzVIT1U4NVN5OVJlWEIxVkdRMmNFdDJjRFp2UjBOdmNUUjFPRGN2U1dwU1dDdDZPSEZaYmpSelJIWjZWM294VVhSTU1GcFVNbkZNVUUxamJUSXdUMFl4YmtsdkszazFNRXA2THpBeVJDdDBObEV6UWtOUmRXOUJWRWRJZEhNeEszTmllVWQxVEcxSEszaG1hMFZQZDFkT2JVbFZZVVUxV2xSelEzUTJjMncxYzFsd1ZUUkhNa1ZsY1dzdlRsa3lNSEE0TVdZdk9UTkVWMGRLWTJkR01YcE5MMGxOVEVONGNGUTFjREEwTVcxc1ozVnFlREptT0dwSFVFSjZLMlU0WWxsUlNHMTJObUp5VTFWeVVFaFJWREpsVlRWMk4yVk1kRFJhYUhWdWNGQTNTMU00TTJ0RFVtTmlUWFkyV2toWlIyb3dUekZSVlZaUk1DdHFZVFYyWjJ0NVVXZEZRemRCYzJSSGFuRjVSMmRuU20xUVoxZGpSMEZuVkN0WGNTdGlaVFZ1ZUdsTFUwdE9PRTUyTDNWbE5UVktka2RUVWt4a2RESnJaRlJSUFE9PTpwQS9qSG5jVWVKRUVOdWQ1dXVxcmhBPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Features a methodology for automated deduction in non-classical logics. In this book, the methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. It can also be used as an introduction to these logical systems from a procedural perspective.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9789401717137 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | April of 2013 |
| Language: | English |
| Format: | eBook |
| Collection: | Applied Logic Series |
| Categories: |
eBooks in English
>
Social Sciences and Humanities
>
Philosophy
|
| EAN: | 9789401717137 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Modern Perspective On Type TheorySPRINGER NETHERLANDS145,09€ 10% CARD
-
eBook10%Hybrid Logic And Its Proof-TheorySPRINGER NETHERLANDS118,59€ 10% CARD
-
10%A New Perspective On Nonmonotonic LogicsSpringer International Publishing AG121,66€ 10% CARDfree shipping
-
Meta-Logical Investigations In Argumentation NetworksCOLLEGE PUBLICATIONS25,11€