01499nam 2200409 450 00001289720050718115500.03-540-13902-820030506d1984----km-y0itay0103----baengDETechniques of admissible recursion theoryC.T. ChongBerlin [etc.]Springer1984VII, 214 p.25 cm.Lecture notes in mathematics11062001Lecture notes in mathematicsLogica matematica511.3(21. ed.)Logica matematica (Logica simbolica)03D25Mathematical logic and foundations. Recursively (computably) enumerable sets and degreesChong,Chi-Tat441174ITUniversità della Basilicata - B.I.A.RICAunimarc000012897Techniques of admissible recursion theory78507UNIBASMONSCISCIENZEEXT0020120030506BAS011425EXT0020120030507BAS011012EXT0020120030507BAS011012EXT0020120030512BAS01112920050601BAS011755batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT58599S585992003050651Riservati