Einführung in die Mathematische Logik

Ein Lehrbuch

  • Wolfgang Rautenberg

Table of contents

  1. Front Matter
    Pages i-xxi
  2. Wolfgang Rautenberg
    Pages 1-32
  3. Wolfgang Rautenberg
    Pages 33-70
  4. Wolfgang Rautenberg
    Pages 71-104
  5. Wolfgang Rautenberg
    Pages 105-130
  6. Wolfgang Rautenberg
    Pages 131-166
  7. Wolfgang Rautenberg
    Pages 167-208
  8. Wolfgang Rautenberg
    Pages 209-230
  9. Back Matter
    Pages 231-256

About this book

Introduction

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

  • Wolfgang Rautenberg
    • 1
  1. 1.Fachbereich Mathematik und InformatikFreie Universitäat BerlinBerlin

Bibliographic information