The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Paperback/Martin Davis