Freunden von diesem Artikel berichten:
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series Walter Carnielli 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
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series
Walter Carnielli
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 anzeigenAlle Titel von Walter Carnielli ansehen ( u. a. Taschenbuch und Gebundenes Buch )