1. 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.
2. Davis 1982: ‘Why Gödel Didn’t Have Church’s Thesis’. Martin Davis, in: Information and Control, Band 54 (1982), S. 3–24.
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. Flexner 1960: ‘I Remember: The Autobiography of Abraham Flexner’. Abraham Flexner, Simon and Schuster, New York (1960). ISBN: 978-1-40478-133-7.
5. Gödel 1931: ‚Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I‘. Kurt Gödel, in: Monatshefte für Mathematik und Physik, Band 38 (1931), S. 173–198.