TY  - BOOK
AU  - Davis,Martin
TI  - Computability & unsolvability
SN  - 0486614719 (pbk.)
AV  - QA9.615 .D38 1982
U1  - 511.3 19
PY  - 1982///
CY  - New York
PB  - Dover
KW  - Recursive functions
KW  - Unsolvability (Mathematical logic)
KW  - Computable functions
N1  - Reprint. Originally published: New York : (McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new pref. and appendix); Includes index; Bibliography: p. 237-241
UR  - http://www.loc.gov/catdir/description/dover032/82007287.html
UR  - http://www.loc.gov/catdir/toc/dover031/82007287.html
ER  -