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