Computability & unsolvability/
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.
511.3 / D263c
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.
511.3 / D263c