TY  - BOOK
AU  - Davis Martin
TI  - Computability and unsolvability
T2  - Mcgraw-Hill series in information processing and computers
U1  - D65,8(B)0bR, J8 
PY  - 1958///
CY  - New York    
PB  -  McGraw-Hill        
KW  -  Computer science irt maths
KW  - Computer science
ER  -