TY  - BOOK
AU  - Martin Davis
TI  - Computability and Unsolvability
PY  - 1982///
PB  - Dorer New York
ER  -