| Record ID | ia:enumerabilitydec0000herm |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/enumerabilitydec0000herm/enumerabilitydec0000herm_marc.xml |
| Download MARC binary | https://www.archive.org/download/enumerabilitydec0000herm/enumerabilitydec0000herm_meta.mrc |
LEADER: 01371cam 22003490 4500
001 0116301467142
008 691216s1969 wb b 1 eng d
010 $a 76089552 //r852
015 $aGDB***
035 $a(Sirsi) AAL-4456
035 $a22735712.C..
040 $aOPET$beng
041 1 $aengger
046 $aDLC$cDLC
050 00 $aQA248.5$b.H413 1969
082 $a510/.01
090 0 $aQA 248.5 .H413 1969$bb
100 1 $aHermes, Hans.
240 10 $aAufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit.$lEnglish
245 10 $aEnumerability, decidability, computability.$bAn introduction to the theory of recursive functions.$cTranslated by G. T. Hermann and O. Plassmann.
250 $a2d rev. ed.
260 $aBerlin,$aNew York,$bSpringer,$c1969.
300 $ax, 245 p.$c24 cm.
350 $a39.00
490 1 $aDie Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;$vBd. 127
500 $aTranslation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
504 $aIncludes bibliographies.
650 0 $aAlgorithms.
650 0 $aComputable functions.
650 0 $aGödel's theorem.
650 0 $aRecursive functions.
830 0 $aGrundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;$vBd. 127.