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

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

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

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Cantor und die Franzosen Mathematik, Philosophie und das Unendliche

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

Mathematische Logik

Logische Grundlagen der Mathematik

Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie

Petri-Netze