The Undecidable: Basic Papers on Undecidable (1965)

by Martin Davis
Venue:Propositions, Unsolvable Problems and Computable Functions, Raven