TY  - BOOK
AU  - Davis, Martin
TI  - The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
SN  - 486432289
U1  - 511.3 DAV 
PY  - 2004///
CY  - Mineola, NY
PB  - Dover Publications
KW  - Computable functions
KW  - Gödel's theorem
KW  - Recursive functions
KW  - Turing machines
KW  - Unsolvability (Mathematical logic)
N1  - Includes index
ER  -