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

by Martin Davis