01668nam 2200409 450 00001116020050718115400.00-387-19305-720020716d1990----km-y0itay0103----baengDEHigher recursion theoryGerald E. SacksBerlin [etc.]Springerc1990XV, 344 p.25 cm.Perspectives in Mathematical LogicLogica matematica511.3(20. ed.)Logica matematica (Logica simbolica)03D55Mathematical logic and foundations. Computability and recursion theory. Hierarchies03D60Mathematical logic and foundations. Computability and recursion theory. Computability and recursion theory on ordinals, admissible sets, etc.00D65Mathematical logic and foundations. Computability and recursion theory. Higher-type and set recursion theory03E15Mathematical logic and foundations. Set theory. Descriptive set theorySacks,Gerald E.50334ITUniversità della Basilicata - B.I.A.RICAunimarc000011160Higher recursion theory79093UNIBASMONSCIMONOGRSCIENZEEXT0020120020716BAS01101120050601BAS011754batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011154BAS01BAS01BOOKBASA5Dipartimento MatematicaGENCollezione generaleMAT2M22002071651Riservati