Proof Theory of Modal Logic / Applied Logic Series Bd.2 (PDF)
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
Fr. 177.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Proof Theory of Modal Logic / Applied Logic Series Bd.2 (PDF)“
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.
Bibliographische Angaben
- 2013, 1996, 318 Seiten, Englisch
- Herausgegeben: Heinrich Wansing
- Verlag: Springer Netherlands
- ISBN-10: 9401727988
- ISBN-13: 9789401727983
- Erscheinungsdatum: 29.06.2013
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 22 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Proof Theory of Modal Logic / Applied Logic Series Bd.2"
0 Gebrauchte Artikel zu „Proof Theory of Modal Logic / Applied Logic Series Bd.2“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Proof Theory of Modal Logic / Applied Logic Series Bd.2".
Kommentar verfassen