FEEDBACK Smiley face
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

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in