LEADER 02223nam0 22004573i 450 001 VAN0254722 005 20230523015732.226 017 70$2N$a9783642461781 100 $a20230215d1969 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aEnumerability, Decidability, Computability$eAn Introduction to the Theory of Recursive Functions$fHans Hermes$gTranslated by G. T. Herman and O. Plassman 205 $a2. rev. ed 210 $aBerlin$cSpringer$d1969 215 $axii, 250 p.$cill.$d24 cm 410 1$1001VAN0024107$12001 $aGrundlehren der mathematischen Wissenschaften$eA series of comprehensive texts in mathematics$1210 $aBerlin [etc.]$cSpringer$v127 500 1$3VAN0254425$aAufzählbarkeit, Entscheidbarkeit Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen$93008161 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Dxx$xComputability and recursion theory [MSC 2020]$3VANC024386$2MF 606 $a03D20$xRecursive functions and relations, subrecursive hierarchies [MSC 2020]$3VANC024470$2MF 610 $aAlgebra$9KW:K 610 $aCalculus$9KW:K 610 $aEquations$9KW:K 610 $aFunctions$9KW:K 610 $aLogic$9KW:K 610 $aMathematica$9KW:K 620 $dBerlin$3VANL000066 700 1$aHermes$bHans$3VANV207458$042101 702 1$aHerman$bGabor T.$3VANV035877$4730 702 1$aPlassman$bO.$3VANV207459$4730 712 $aSpringer $3VANV108073$4650 790 1$aHerman, G. T.$zHerman, Gabor T.$3VANV063495 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-642-46178-1$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0254722 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 5413 $e08eMF5413 20230301 996 $aAufzählbarkeit, Entscheidbarkeit Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen$93008161 997 $aUNICAMPANIA