01803nam0 22004213i 450 VAN026165820231030082533.470N978354038170920230719d1980 |0itac50 baengDE|||| |||||Recursion on the Countable FunctionalsDag NormannBerlinSpringer1980x, 198 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer81103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D30Other degrees and reducibilities in computability and recursion theory [MSC 2020]VANC024445MF03D65Higher-type and set recursion theory [MSC 2020]VANC037574MF03D55Hierarchies of computability and definability [MSC 2020]VANC037611MFComputabilityKW:KFunctionalKW:KFunctionsKW:KMaximaKW:KMaximumKW:KRecursionKW:KRecursive functionKW:KBerlinVANL000066NormannDagVANV21604356064Springer <editore>VANV108073650ITSOL20240614RICAhttps://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-CE0120VAN08NVAN0261658BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6311 08eMF6311 20230727 Recursion on the countable functionals81055UNICAMPANIA