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