Table of contents (7 chapters)
-
-
-
-
-
-
-
-
-
Back Matter
Pages 231-256
About this book
Dieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen Unvollständigkeitssätze auch für Fachstudenten der Philosophischen Logik.
Der Text der 3. Auflage wurde sachlich und stilistisch vollständig überarbeitet, Index und Literaturverzeichnis wurden revidiert. Darüber hinaus wurde eine historisch orientierte Einleitung hinzugefügt.
Keywords
- Aussagenlogik
- Logik
- Mathematische Logik
- Modelltheorie
- Prädikatenlogik
- Resolution
- Ultraprodukt
- Vollständigkeit
Authors and Affiliations
-
Fachbereich Mathematik und Informatik, Freie Universitäat Berlin, Berlin
Wolfgang Rautenberg
About the author
Professor Dr. Wolfgang Rautenberg ist Professor für Mathematik an der Freien Universität Berlin.