01562nam0 22003733i 450 VAN026341520231130023937.148N978354039121020230919d1984 |0itac50 baengDE|||| |||||Techniques of Admissible Recursion TheoryChi-Tat ChongBerlinSpringer1984xii, 220 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer110603-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D60Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020]VANC037481MFComputability theoryKW:KCurvesKW:KFiniteKW:KModelsKW:KRecursionKW:KBerlinVANL000066ChongChi-TatVANV217778441174Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0099164E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0263415BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6662 08eMF6662 20230927 Techniques of admissible recursion theory78507UNICAMPANIA