Title: Logische Grundlagen der Mathematik / Edition 1, Author: Ralf Schindler
Title: Zur Philosophie der Mathematik: Logizismus, Intuitionismus, Finitismus, Gödel'sche Unvollständigkeitssätze, Author: Alexander George
Title: Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik / Edition 1, Author: Wolfgang Stegmüller
Title: Mathematische Modelle des Kontinuums, Author: Ernst Kleinert
Title: Die Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis / Edition 2, Author: Dirk W. Hoffmann