Davis, Martin, 1928-
Computability & unsolvability / Martin Davis. - Dover ed. - New York : Dover, 1982. - xxv, 248 p. : 22 cm. - McGraw-Hill series in information processing and computers. .
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.
0486614719 (pbk.)
82007287
Recursive functions.
Unsolvability (Mathematical logic)
Computable functions.
QA9.615 / .D38 1982
511.3
Computability & unsolvability / Martin Davis. - Dover ed. - New York : Dover, 1982. - xxv, 248 p. : 22 cm. - McGraw-Hill series in information processing and computers. .
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.
0486614719 (pbk.)
82007287
Recursive functions.
Unsolvability (Mathematical logic)
Computable functions.
QA9.615 / .D38 1982
511.3