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

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

Cantor und die Franzosen Mathematik, Philosophie und das Unendliche

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Mathematische Logik

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

Logische Grundlagen der Mathematik

Theoretische Informatik Eine umfassende Einführung

Petri-Netze