TY  - BOOK
AU  - Davis, Martin
AU  - Davis, Martin, Ed.
TI  - The Undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions
U1  - 512.8 
PY  - 1965///
CY  - New York
PB  - Raven Press
KW  - Recursive functions
KW  - Godel's theorem
KW  - Turning machines
ER  -