The Undecidable: Basic Papers on Undecidable (2004)

by M Davis
Venue:Propositions, Unsolvable Problems and Computable Functions