Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series - Walter Carnielli - Bücher - Springer-Verlag New York Inc. - 9781402067815 - 4. Februar 2008
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series 2008 edition

Preis
€ 167,99

Bestellware

Lieferdatum: ca. 14. - 23. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics.


618 pages, biography

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 4. Februar 2008
ISBN13 9781402067815
Verlag Springer-Verlag New York Inc.
Seitenanzahl 602
Maße 156 × 235 × 33 mm   ·   1,04 kg
Sprache Englisch  

Weitere Titel von Walter Carnielli

Alle anzeigen