Das zweibändige Werk schlägt eine Brücke zwischen einführenden Ausführungen zur Logik bzw. Mengenlehre einerseits und der Forschungsliteratur andererseits. Es kann als Text in einem fortgeschrittenen Grund- oder Aufbaukurs in Mathematik, Informatik oder Philosophie verwendet werden. Die Bände sind in einem benutzerfreundlichen Konversationsvortragsstil geschrieben, der sie sowohl für das Selbststudium als auch für den Unterricht geeignet macht. Band 1 enthält formale Beweistechniken, einen Abschnitt über Anwendungen der Kompaktheit (einschließlich der Nichtstandardanalyse), eine großzügige Dosis Berechenbarkeit und ihre Beziehung zum Phänomen der Unvollständigkeit sowie die erste Präsentation eines vollständigen Beweises der 2. Unvollständigkeit von Gödel seit dem Satz von Hilbert und Bernay. Sprache: Englisch