LEADER 01287nam a2200313 i 4500
001 991000862859707536
005 20020507174744.0
008 950104s1969    de            ||| | eng  
035   $ab10767800-39ule_inst
035   $aLE01303478$9ExL
040   $aDip.to Matematica$beng
084   $aAMS 03D20
100 1 $aHermes, Hans$042101
245 10$aEnumerability, decidability, computability :$ban introduction to the theory of recursive functions /$cHans Hermes ; translated by G. T. Hermann and O. Plassmann
250   $a2nd English ed
260   $aBerlin :$bSpringer-Verlag,$c1969
300   $ax, 245 p. ;$c24 cm.
490 0 $aDie Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;$v127
500   $aOrig. German ed.: 1965
650  4$aRecursive functions
650  4$aSubrecursive hierarchies
700 1 $aHermann, G. T.
700 1 $aPlassmann, O.
907   $a.b10767800$b23-02-17$c28-06-02
912   $a991000862859707536
945   $aLE013 03D HER11 (1969)$g1$i2013000018171$lle013$o-$pE0.00$q-$rl$s-  $t0$u1$v1$w1$x0$y.i10864386$z28-06-02
996   $aEnumerability, Decidability, Computability$9354898
997   $aUNISALENTO
998   $ale013$b01-01-95$cm$da  $e-$feng$gde $h0$i1