Einführung in die mathematische Logik

Meer over het boek

Dieses Lehrbuch bietet über den Stoff einer einsemestrigen Einführungsvorlesung hinaus auch Material für eine Logikvorlesung für Informatiker, insbesondere im Bereich logisches Programmieren. Es enthält zudem grundlegendes Material für eine vertiefte Einführung in Modelltheorie, Rekursionstheorie und Beweistheorie. Für eine kompakte Einführung in Mathematische Logik und Mengenlehre sind die ersten drei Kapitel besonders geeignet. Das Buch ist auch für das Selbststudium konzipiert und bietet Lösungshinweise für viele Übungen. Es sind keine speziellen Vorkenntnisse erforderlich, außer für Teile der Modelltheorie, wo algebraische Grundkenntnisse von Vorteil sind. Die ausführlichen Verzeichnisse (Stichwörter, Symbole, Literatur) unterstützen das eigenständige Lernen. Der Schreibstil ist flüssig und das Buch enthält viele vereinfachte Beweise, die in der Literatur oft komplexer dargestellt werden. Zudem werden interessante Details präsentiert, die in anderen Lehrbüchern selten zu finden sind, wie Fragmente der 1. Stufe und die Solovayschen Vollständigkeitssätze. Die Gödelschen Unvollständigkeitssätze und ihr Kontext werden besonders gründlich behandelt, während weiterführende Überlegungen gelegentlich mit Literaturverweisen ergänzt werden.