TY  - BOOK
AU  - Davis,Martin
TI  - Computability and unsolvability
SN  - 0-486-61471-9
AV  - QA9.615 D58
PY  - 1982///
CY  - New York
PB  - Dover
N1  - Incluye bibliografia
ER  -