Proof Theory of Modal Logic - Applied Logic Series - Heinrich Wansing - Bücher - Springer - 9789048147205 - 9. Dezember 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Proof Theory of Modal Logic - Applied Logic Series Softcover reprint of hardcover 1st ed. 1996 edition

Preis
SFr. 127,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. 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 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     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 9. Dezember 2010
ISBN13 9789048147205
Verlag Springer
Seitenanzahl 318
Maße 155 × 235 × 17 mm   ·   467 g
Redakteur Wansing, Heinrich

Weitere Titel von Heinrich Wansing

Alle anzeigen