The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions"A valuable collection both for original source material as well as historical formulations of current problems." The Review of Metaphysics "Much more than a mere collection of papers. A valuable addition to the literature." Mathematics of Computation An anthology of fundamental papers on undecidability and unsolvability by major figures in the field, this classic reference is ideally suited as a text for graduate and undergraduate courses in logic,