01574nam 2200397 450 00001566720050718115600.00-521-23543-X20030731d1980----km-y0itay0103----baengGBRecursion theoryits generalisations and applicationsproceedings of Logic Colloquium '79, Leeds, August 1979edited by F. R. Drake and S. S. WainerCambridge [etc.]Cambridge University Press1980319 p.23 cm.London Mathematical Society Lecture Note Series452001London Mathematical Society Lecture Note SeriesLogica matematicaCongressi511.35(21. ed.)Logica matematica (Logica simbolica). Teoria della ricorsività03DxxMathematical logic and foundations. Computability and recursion theoryDrake,F. R.Wainer,S. S.Logic colloquium<1979; Leeds>441853ITUniversità della Basilicata - B.I.A.RICAunimarc000015667Recursion theory82582UNIBASMONSCISCIENZEEXT0020120030731BAS01124820050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114220050718BAS011156BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT65008S650082003073151Riservati