Davis, Martin The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions Martin Davis - Mineola, NY Dover Publications 2004 - 413 p Includes index ISBN: 486432289 Subjects--Topical Terms: Computable functionsGödel's theoremRecursive functionsTuring machinesUnsolvability (Mathematical logic) Dewey Class. No.: 511.3 DAV