Die Gödel'schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis Hoffmann, Dirk W. Heftet / 2012 / Tysk
Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof Hoffmann, Dirk W. Heftet / 2024 / Engelsk
Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic Hoffmann, Dirk W. Heftet / 2025 / Engelsk
Die Gödel'schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis Hoffmann, Dirk W. Heftet / 2017 / Tysk
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik Hoffmann, Dirk W. Heftet / 2018 / Tysk
