| Record ID | marc_loc_2016/BooksAll.2016.part14.utf8:28594251:1141 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part14.utf8:28594251:1141?format=raw |
LEADER: 01141pam a2200301 a 4500
001 82007287
003 DLC
005 20030814191052.0
008 820429r19821958nyu b 001 0 eng
010 $a 82007287
020 $a0486614719 (pbk.)
040 $aDLC$cDLC$dDLC
050 00 $aQA9.615$b.D38 1982
082 00 $a511.3$219
100 1 $aDavis, Martin,$d1928-
245 10 $aComputability & unsolvability /$cMartin Davis.
250 $aDover ed.
260 $aNew York :$bDover,$c1982.
300 $axxv, 248 p. ;$c22 cm.
500 $aReprint. Originally published: New York : (McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new pref. and appendix)
504 $aBibliography: p. 237-241.
500 $aIncludes index.
650 0 $aRecursive functions.
650 0 $aUnsolvability (Mathematical logic)
650 0 $aComputable functions.
830 0 $aMcGraw-Hill series in information processing and computers.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/description/dover032/82007287.html
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/dover031/82007287.html