Publisher
Springer International Publishing
Reference18 articles.
1. J. Bennett, On Spectra. Ph.D. Thesis, Princeton University, (1962)
2. A. Church, A note on the Entscheidungsproblem. J. Symbolic Logic 1, 40–41, 101–102 (1936a)
3. 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)
4. J.C.E. Dekker, Productive sets. Trans. Am. Math. Soc. 78, 129–149 (1955)
5. K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Math. Phys. 38, 173–198 (1931) (Also in English in M. Davis, The Undecidable (Raven Press, Hewlett, 1965), pp. 5–38)