TY  - BOOK
AU  - Davis,Martin.
TI  - COMPUTABILITY & UNSOLVABILITY
U1  - 517.5 
PY  - 1958///
CY  - 
PB  - Mcgraw-Hill Book Company
ER  -