01806nam0 22004213i 450 VAN0026165820240806101505.883N978354038170920230719d1980 |0itac50 baengDE|||| |||||Recursion on the Countable FunctionalsDag NormannBerlinSpringer1980x, 198 p.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer81103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D30Other degrees and reducibilities in computability and recursion theory [MSC 2020]VANC024445MF03D55Hierarchies of computability and definability [MSC 2020]VANC037611MF03D65Higher-type and set recursion theory [MSC 2020]VANC037574MFComputabilityKW:KFunctionalKW:KFunctionsKW:KMaximaKW:KMaximumKW:KRecursionKW:KRecursive functionKW:KBerlinVANL000066NormannDagVANV21604356064Springer <editore>VANV108073650ITSOL20250613RICAhttps://doi.org/10.1007/BFb0098600E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00261658BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 6311 08eMF6311 20230727 Recursion on the countable functionals81055UNICAMPANIA