| Record ID | ia:computabilityuns0000davi |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/computabilityuns0000davi/computabilityuns0000davi_marc.xml |
| Download MARC binary | https://www.archive.org/download/computabilityuns0000davi/computabilityuns0000davi_meta.mrc |
LEADER: 00780cam 22002533 4500
001 0116301268805
008 831201s1958 nyu eng d
010 $a 57012895 /L/r83
035 $a(Sirsi) AAJ-7660
035 $a22718914.C..
040 $aOPET$beng
046 $aDLC/ICU$cICU
050 00 $aQA248.5$b.D3
082 0 $a517.5
090 0 $aQA 248.5 .D3$bb
100 1 $aDavis, Martin,$d1928-
245 10 $aComputability & unsolvability.
260 $aNew York,$bMcGraw-Hill,$c1958.
300 $a210 p.$c24 cm.
490 1 $aMcGraw-Hill series in information processing and computers
650 0 $aComputable functions.
650 0 $aRecursive functions.
650 0 $aUnsolvability (Mathematical logic)
830 0 $aMcGraw-Hill series in information processing and computers.