1. A. Church, A note on the Entscheidungsproblem. J. Symbolic Logic 1, 40–41, 101–102 (1936a)
2. A. Church, An unsolvable problem of elementary number theory. Am. J. Math. 58, 345–363 (1936b) (Also in M. Davis, The Undecidable (Raven Press, Hewlett, 1965), pp. 89–107)
3. M. Davis, Computability and Unsolvability (McGraw-Hill, New York, 1958a)
4. R. Dedekind, Was sind und was sollen die Zahlen? (Vieweg, Braunschweig, 1888). (In English translation by W.W. Beman (R. Dedekind, Essays on the Theory of Numbers, Dover Publications, New York, 1963))
5. S.C. Kleene, General recursive functions of natural numbers. Math. Ann. 112, 727–742 (1936)