TY  - BOOK
AU  - Davis,Martin, x
AU  - x
TI  - Computablity and unsolvability: x
SN  - x
U1  - 510.78/DAC 
PY  - 1958///
CY  - x
PB  - McGraw - Hill
KW  - Electronic Computer
KW  - Mathematics
N1  - x
ER  -