Einfhrung in die Mathematische Logik

Dieses umfassende Lehrbuch wurde geschrieben fr Studenten und Dozenten der Mathematik und Informatik, und wegen der ausfhrlichen Darstellung der Gdelschen Unvollstndigkeitsstze auch fr Fachstudenten der Philosophischen Logik. Fr diese Neuauflage wurde der Text sachlich und stilistisch vollstndig berarbeitet, er enthlt verbesserte Beweise und bungen mit Lsungshinweisen sowie eine historisch orientierte Einleitung. Das Buch kann ganz unabhngig von Vorlesungen aber auch zum Selbststudium genutzt werden.