The undecidable ; basic papers on undecidable propositions, unsolvable problems and computable functions. - Davis, Martin, (Raven Press,, 1965)