GUTSCHEIN
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Applied Logic Series |
|---|---|
| Themen | Philosophie und Religion Philosophie Themen der Philosophie Logik |
| ISBN | 9789048147205 |
| Sprache | Englisch |
| Erscheinungsdatum | 09.12.2010 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer Netherland |
| Herausgegeben von | Heinrich Wansing |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
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. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
| Reihe | Applied Logic Series |
|---|---|
| Themen | Philosophie und Religion Philosophie Themen der Philosophie Logik |
| ISBN | 9789048147205 |
| Sprache | Englisch |
| Erscheinungsdatum | 09.12.2010 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer Netherland |
| Herausgegeben von | Heinrich Wansing |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?