TY  - BOOK
AU  - Davis, Martin
TI  - COMPUTABILITY & UNSOLVABILITY
U1  - 517.5 
PY  - 1958///
CY  - N. Y.
PB  - Mcgraw-Hill
KW  - Recursive Functions
ER  -