LEADER 01026nam0-22003251i-450-
001 990001007390403321
035   $a000100739
035   $aFED01000100739
035   $a(Aleph)000100739FED01
035   $a000100739
100   $a20000920d1965----km-y0itay50------ba
101 0 $aeng
200 1 $aEnumerability, Decidability, Computability$eAn Introduction to the Theory of Recursive Functions$fby Hans Hermes$gtranslated by G.T. Herman and O. Plassmann
210   $aBerlin [etc.]$cSpringer-Verlag$d1965
215   $aIX, 245 p.$d24 cm
225 1 $a<<Die >>Grundlehren der mathematischen Wissenschaften$vbd. 127
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aHermes,$bHans$042101
702  1$aHerman,$bGabor Tamas
702  1$aPlassmann,$bO.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001007390403321
952   $a7-129$b4758$fFI1
959   $aFI1
996   $aEnumerability, Decidability, Computability$9354898
997   $aUNINA
DB    $aING01