The Undecidable basic papers on undecidable propositions, unsolvable problems and computable functions - Davis, Martin; Davis, Martin, Ed. (New York Raven Press, 1965)
Keywords: Recursive functions; Godel's theorem; Turning machines