LEADER 01803nam0 22004213i 450 001 VAN0261658 005 20231030082533.470 017 70$2N$a9783540381709 100 $a20230719d1980 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aRecursion on the Countable Functionals$fDag Normann 210 $aBerlin$cSpringer$d1980 215 $ax, 198 p.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v811 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03D30$xOther degrees and reducibilities in computability and recursion theory [MSC 2020]$3VANC024445$2MF 606 $a03D65$xHigher-type and set recursion theory [MSC 2020]$3VANC037574$2MF 606 $a03D55$xHierarchies of computability and definability [MSC 2020]$3VANC037611$2MF 610 $aComputability$9KW:K 610 $aFunctional$9KW:K 610 $aFunctions$9KW:K 610 $aMaxima$9KW:K 610 $aMaximum$9KW:K 610 $aRecursion$9KW:K 610 $aRecursive function$9KW:K 620 $dBerlin$3VANL000066 700 1$aNormann$bDag$3VANV216043$056064 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0098600$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 $aVAN0261658 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 6311 $e08eMF6311 20230727 996 $aRecursion on the countable functionals$981055 997 $aUNICAMPANIA