| Record ID | marc_columbia/Columbia-extract-20221130-001.mrc:126549420:1545 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-001.mrc:126549420:1545?format=raw |
LEADER: 01545cam a2200409 a 4500
001 101556
005 20220518195514.0
008 820924r19821958nyu b 001 0 eng
010 $a 82007287
020 $a0486614719 (pbk.)
035 $a(OCoLC)8475039
035 $a(OCoLC)ocm08475039
035 $a(CStRLIN)NYCG82-B44009
035 $9AAL7965CU
035 $a(NNC)101556
035 $a101556
050 00 $aQA9.615$b.D38 1982
082 0 $a511.3$219
090 $aQA9.615$b.D38 1982
100 1 $aDavis, Martin,$d1928-$0http://id.loc.gov/authorities/names/n50035603
245 10 $aComputability & unsolvability /$cMartin Davis.
250 $aDover ed.
260 $aNew York :$bDover,$c1982.
300 $axxv, 248 pages ;$c22 cm
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
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.$0http://id.loc.gov/authorities/subjects/sh85112014
650 0 $aUnsolvability (Mathematical logic)$0http://id.loc.gov/authorities/subjects/sh85141199
650 0 $aComputable functions.$0http://id.loc.gov/authorities/subjects/sh85029469
830 0 $aMcGraw-Hill series in information processing and computers.
852 00 $bmat$hQA9.615$i.D38 1982
852 00 $bmat$hQA9.615$i.D38 1982
852 00 $bmat$hQA9.615$i.D38 1982