The Undecidable. Basic Papers on Undecidable, Unsolvable Problems and Computable Functions (1965)

by M Davis