Natural Deduction, Hybrid Systems and Modal Logics
Kurzinformation
Sprache:
Englisch
ISBN:
9048187842
Verlag:
Seitenzahl:
514
Auflage:
-
Erschienen:
2010-06-11
bestellen
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten
Beschreibung
Natural Deduction, Hybrid Systems and Modal Logics
This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability. von Indrzejczak, Andrzej
Produktdetails
Einband:
Gebunden
Seitenzahl:
514
Erschienen:
2010-06-11
Sprache:
Englisch
EAN:
9789048187843
ISBN:
9048187842
Verlag:
Gewicht:
871 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
Neu
235,39 €
Entdecke mehr zum Thema
