01407nam a2200421 4500 DLU050048272 ##20050823 ##820429r19821958nyu b 001 0 eng 82007287 0486614719 (pbk.) (DLC) 82007287 DLC DLC DLC QA9.615 .D38 1982 511.3 DA-M Davis, Martin, 1928- Computability & unsolvability / Martin Davis Dover ed New York : Dover, 1982 xxv, 248 p. ; 22 cm Includes index Reprint. Originally published: New York : (McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new pref. and appendix) Bibliography: p. 237-241 Computable functions Recursive functions. Unsolvability (Mathematical logic) McGraw-Hill series in information processing and computers Table of contents http://www.loc.gov/catdir/toc/dover031/82007287.html Publisher description http://www.loc.gov/catdir/description/dover032/82007287.html 20/2005 5.600 DLU True Đào Thị Thu Huyền G A SH Thư viện Trường Đại học Đà Lạt