Advertisement

© 2008

Einführung in die Mathematische Logik

Ein Lehrbuch

Textbook

Table of contents

  1. Front Matter
    Pages i-xxi
    PDF
  2. Aussagenlogik
    Wolfgang Rautenberg
    Pages 1-32
  3. Prädikatenlogik
    Wolfgang Rautenberg
    Pages 33-70
  4. Der Gödelsche Vollständigkeitssatz
    Wolfgang Rautenberg
    Pages 71-104
  5. Grundlagen der Logikprogrammierung
    Wolfgang Rautenberg
    Pages 105-130
  6. Elemente der Modelltheorie
    Wolfgang Rautenberg
    Pages 131-166
  7. Unvollständigkeit und Unentscheidbarkeit
    Wolfgang Rautenberg
    Pages 167-208
  8. Zur Theorie der Selbstreferenz
    Wolfgang Rautenberg
    Pages 209-230
  9. Back Matter
    Pages 231-256
    PDF

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

  1. 1.Fachbereich Mathematik und InformatikFreie Universitäat BerlinBerlin

About the authors

Professor Dr. Wolfgang Rautenberg ist Professor für Mathematik an der Freien Universität Berlin.

Bibliographic information