TY  - BOOK
AU  - Davis,Martin
TI  - Computability & unsolvability
SN  - 0486614719 (pbk.)
AV  - QA9.615 .D38 1982
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
N2  - Classic graduate-level introduction to theory of computability, usually referred to as theory of recurrent functions. New preface and appendix
ER  -