Computability & unsolvability
Davis, Martin
Computability & unsolvability Martin Davis. - Dover ed. - New York : Dover Publications, ©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
82007287
Recursive functions.
Unsolvability (Mathematical logic)
Computable functions.
QA9.615 / .D38 1982
511.3 / DAV-C
Computability & unsolvability Martin Davis. - Dover ed. - New York : Dover Publications, ©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
82007287
Recursive functions.
Unsolvability (Mathematical logic)
Computable functions.
QA9.615 / .D38 1982
511.3 / DAV-C