1. Budiansky 2021: Journey to the Edge of Reason: The Life of Kurt Gödel. Stephen Budiansky, W.W. Norton/Oxford Univ. Press/Ullstein (2021). ISBN: 978-1-324-00544-5.
2. Carnap 1928: Der logische Aufbau der Welt (‚Aufbau‘). Rudolf Carnap, Felix Meiner Verlag (1928). Wiederaufgelegt 1966, 1999. Englische Übersetzung von Rolf A. George, 1967.
3. Dawson 1997: Logical Dilemmas: The Life and Work of Kurt Gödel. John W. Dawson, Jr., Taylor & Francis; Auflage CRC Press (2005). ISBN 1-568-8-1256-6. [Deutsche Version (ISBN-13: 978-067-1-73335-3), Übersetzer J. Kellner, Springer 1999].
4. Goldstein 2005: Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries). Rebecca Goldstein, Atlas Books (2005), W.W. Norton (2006). ISBN 978-0-7394-5744-3. Vgl. auch Ref. 30 in Anhang B.
5. Hilbert u. Ackermann 1928: Grundzüge der theoretischen Logik (HA). David Hilbert und Wilhelm Ackermann. Springer-Verlag, Heidelberg/Berlin (1928). Wiederaufgelegt 1959. Englische Übersetzung: Principles of Mathematical Logic, Hilbert u. Ackermann, Übers. L.M. Hammond, G.G. Leckie, und F. Steinhardt. AMS Chelsea Publishing, Providence RI (1999). ISBN 978-0-8218-2024-7.