1936. « General recursive functions of natural numbers », Math. Ann., 112, 727-742.
1952. Introduction to Metamathematics. New York: Van Nostrand. (Ishi Press: 2009 reprint).[5]
1956. "Representation of Events in Nerve Nets and Finite Automata" in Automata Studies. Claude Shannon and John McCarthy, eds.
1965 (with Richard Eugene Vesley). The Foundations of Intuitionistic Mathematics. North-Holland.[6]
1967. Mathematical Logic. John Wiley. Dover reprint, 2002. ISBN 0-486-42533-9.
1981. "Origins of Recursive Function Theory" in Annals of the History of Computing 3, No. 1.