Bibliography
- Church , A. 1936 . An unsolvable problem of elementary number theory . Amer.j. maths. , 58 : 345 – 363 . Also in Davis 1968, 88–107
- Curry , H. B. 1941 . A formalization of recursive arithmetic . Amer.j. maths. , 63 : 263 – 282 .
- Davis , M. , ed. 1965 . The undecidable ... , N. Y. : Raven . Hewlett
- Gleiser , M. The emotional logician . Datamation , 221 – 223 .
- Gödel , K. 1940 . The consistency of the axiom of choice and of the generalised continuum hypothesis , Princeton : University Press .
- Jevons , S. 1896 . Studies in deductive logic: A manual for students , 3rd , London : Macmillan .
- Kennedy , H. C. 1975 . Post, Emil Leon . Dict. sci. biog. , 11 : 106 – 108 .
- Post , E. L. 1921 . Introduction to a general theory of elementary propositions . Amer.j. maths. , 43 : 163 – 185 . Also in Van Heijenoort 1967264–283
- Post , E. L. 1941 . Absolutely unsolvable problems and relatively undecidable propositions . : 338 – 433 . manuscript, in Davis 1968
- Post , E. L. 1944 . Recursively enumerable sets of positive integers and their decision problems . Bull. Amer. Math. Soc. , 50 : 284 – 316 . Also in Davis 1968, 305–337
- Van Heijenoort , J. , ed. 1967 . From Frege to Gödel , Cambridge. : Harvard University Press . Mass