Freunden von diesem Artikel berichten:
Proof Theory of Modal Logic - Applied Logic Series Heinrich Wansing 1996 edition
Preis
SFr. 127,99
exkl. MwSt.
Bestellware
Lieferdatum: ca. 25. Dez - 2. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
Auch vorhanden als:
Proof Theory of Modal Logic - Applied Logic Series
Heinrich Wansing
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
318 pages, biography
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 31. Oktober 1996 |
| ISBN13 | 9780792341208 |
| Verlag | Springer |
| Seitenanzahl | 318 |
| Maße | 155 × 235 × 19 mm · 644 g |
| Sprache | Englisch |
| Redakteur | Wansing, Heinrich |
Weitere Titel von Heinrich Wansing
Alle anzeigenAlle Titel von Heinrich Wansing ansehen ( u. a. Taschenbuch , Gebundenes Buch und Buch )