Einführung in die Mathematische Logik [electronic resource] : Ein Lehrbuch /
Rautenberg, Wolfgang.author.
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.
Bibliographic Level Mode of Issuance: Monograph
Aussagenlogik -- Prädikatenlogik -- Der Gödelsche Vollständigkeitssatz -- Grundlagen der Logikprogrammierung -- Elemente der Modelltheorie -- Unvollständigkeit und Unentscheidbarkeit -- Zur Theorie der Selbstreferenz.
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.
Mathematical logic.
Computer logic.
Logic.
Applied mathematics.
Engineering mathematics.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Logic.
Applications of Mathematics.