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
VUhvemJFczRlamRsVEdJd1YxTlZWV012VlN0TGIwMDVZbGRUTDJsSVUzRjNTbmRYU0ZSTE9UaFBZMFJMY25nNFVXSnFXV3BVVVUxM1NUSmthM1ZTWVRSVWFVTlhlRVJoWjBvNVpFcGxkWGhYYlZOaGVrUk5kMjFUVkhreU16RnpkblZZWkVJMFNuZFljamx1Tkd0NWJXbFhOSEJxVHpWeWRXMUlNMEU1VjA1dWFVdGpkMmxIV1dnMk5FVXlXVlJhTkhWTGVUTnZiVmREWkdwQ1lreE5NbFJzUlZvclpVTjFWMGRxYUhOdlRVVlBkVTQzVlVsaGFYUlVXRU5xSzFsaFVXSnpTSGN3TVdrdldIVkNlV0o2VjFZME5uTlFXbEY1V25aWGJXOWtiRXh4YUdaRVptSkRjM2t4WldkamJXUlBhMUo1TW5KSlMxQTVVR2MyZVd0WFJuQm5NemRRTmsxTVExUjVheTgxVmpGbWRuSlNXRVpIYTA1MFMxaEtNbmhJT1RsNVRtczBSMHBUTTFablEwWmFSbFJzVHpsdlVuWlFUREZHWWtKUFpuVkhlV3czZDAxVlFXZ3hlV2wySzAxUlRGRk5XREI0VW1GRFZWTXhTVms1Tm1GRVZYTkhOa1JyUWtRelJGUnVaMDFYTDFCQlVIQnRRbFZRZVRaNVJqTmhVbXBQY25GclRFWjRNM0ZGVDFCU1MwdDNjREEyUWk5Q1JIbEpkRzh6YW5sUWNYSm5jVUV2YTNoYWJqWkpWWGt6U1V0bk16ZFhORzFQY0haSmVWb3pXbTV3VG05VllVWkxLMEpzTTBGVlZuQXdRV3hLZEcxdFZESkxTREF3WmtWMVkwdGpTbWRaUzFScVJYaDFVVGhUWjI1MFFtTjFjRWRITTNSbVJqQm9Na3BDYUVabGRtSmlVMjQyU1hNM1dUZEZPVGMyZWpZd1NWQkxXVmw2ZFdFMVdsTTBiblI2UldKRk1XcFVOVTFCZEROemNEZDRTRXczVGxkQ1dHTlJWM1JQTkVaelJscDNialZJZGxkeE9HOTNNMFUzVm1SS1FXNTFla1ZXV1dadFIxZFBOVzlVU1ZKQ1FXUmpWVW92Y0dadk4wSkRZWGRtT1VSalltTnpibUZDUjJWWVFVRkliSEJqZVZSWmFsazJNMVptT1dRME4ySlZRamMyUmxReVpVUjBlVzlpUTI5QlRubzVSbmwzTTFsd1ZYVlRiVFo2WXpaaE9YSnJZbVZFZFc5Q05qSllWbFJNY0VSeFNHWlhSRGwwZFRWSlFqSTFSRzFNTmxKdVNXMDVhMVJLZDJkcWRtZFhTVmxSUFE9PTpnSDl5eHgxUG1DM09OYmhiQlJCOHh3PT0=
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9789401717137 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | April of 2013 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Applied Logic Series |
| Categories: |
eBooks in English
>
Social Sciences and Humanities
>
Philosophy
|
| EAN: | 9789401717137 |
BOOKS FROM THE SAME COLLECTION
-
Modern Perspective On Type TheoryeBook10%SPRINGER NETHERLANDS145,09€ 10% CARD
-
Hybrid Logic And Its Proof-TheoryeBook10%SPRINGER NETHERLANDS118,59€ 10% CARD
-
A New Perspective On Nonmonotonic Logics10%Springer International Publishing AG121,66€ 10% CARDfree shipping
-
Meta-Logical Investigations In Argumentation NetworksCOLLEGE PUBLICATIONS25,11€