01707nam0 22004093i 450 VAN026033220230925084620.377N978354037425120230628d1977 |0itac50 baengDE|||| |||||Computations in Higher TypesJohan MoldestadBerlinSpringer1977viii, 208 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer57403-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D60Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020]VANC037481MF03D65Higher-type and set recursion theory [MSC 2020]VANC037574MFCalculationKW:KComputability theoryKW:KComputationKW:KObjectsKW:KRecursionKW:KRecursive functionsKW:KTypesKW:KBerlinVANL000066MoldestadJohanVANV21450048583Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0087822E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0260332BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6022 08eMF6022 20230628 Computations in higher types80729UNICAMPANIA