TY  - BOOK
AU  - Davis,Martin
TI  - The undecidabel: basic papers on undecidable propositions, unsolvable problems and computable functions
AV  - QA 43 D3
PY  - 1965///
CY  - New York
PB  - Raven Press
KW  - Matemáticas
KW  - Problemas, ejercicios, etc
KW  - Teorema de Gödel
ER  -