1. Albers, Alexanderson, u. Reid 1986: ‘International mathematical congresses. An illustrated history 1893–1986’. Donald J. Albers, G.L. Alexanderson, und Constance Reid, revidierte Auflage inclusive ICM 1986. Springer-Verlag, New York (1986). ISBN: 978-1-4684-0301-5.
2. 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.
3. Cohen 1966: ‘Set Theory and the Continuum Hypothesis’. Paul J. Cohen, W.A. Benjamin, New York (1966), erneuert 1994, wiederaufgelegt 2008 von Dover Publications, Mineola, NY. ISBN 13: 978-0-486-46921-8.
4. Davis, Hrsg. (1965): The Undecidable. Basic papers on undecidable propositions, unsolvable problems and computable functions, Hrsg. Martin Davis, Raven Press, Hewlitt NY (1965). ISBN: 0-486-43228-9.
5. 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].