An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Cantor und die Franzosen Mathematik, Philosophie und das Unendliche

Mathematische Logik

Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo

Logische Grundlagen der Mathematik

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

Theoretische Informatik Eine umfassende Einführung