TY  - BOOK
AU  - Davis, Martin,
CN  - QA248.5
CN  - QA248.5
CY  - New York,
DA  - 1958.
ID  - 285661
KW  - Recursive functions.
KW  - Unsolvability (Mathematical logic)
KW  - Computable functions.
PB  - McGraw-Hill,
PP  - New York,
PY  - 1958.
T1  - Computability & unsolvability.
TI  - Computability & unsolvability.
ER  -