| Record ID | marc_loc_2016/BooksAll.2016.part05.utf8:42991346:628 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part05.utf8:42991346:628?format=raw |
LEADER: 00628nam a22002171 4500
001 57012895
003 DLC
005 19831202000000.0
008 831201s1958 nyu 00000 eng
010 $a 57012895 /L/r83
040 $aDLC/ICU$cICU
050 0 $aQA248.5$b.D3
082 0 $a517.5
100 10 $aDavis, Martin,$d1928-
245 10 $aComputability & unsolvability.
260 0 $aNew York,$bMcGraw-Hill,$c1958.
300 $a210 p.$c24 cm.
440 0 $aMcGraw-Hill series in information processing and computers
650 0 $aRecursive functions.
650 0 $aUnsolvability (Mathematical logic)
650 0 $aComputable functions.