The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions (1965)

by M Davis