00999cam0-22003851i-450-99000110544040332120051129173054.03-540-19305-7000110544FED01000110544(Aleph)000110544FED0100011054420001205d1990----km-y0itay50------baengDEHigher recursion theoryGerald E. SacksBerlin [etc.]Springer-Verlag1990XV, 344 p.25 cmPerspectives in mathematical logicLogicaRicorsivitàTeoria della ricorsività160511.388Sacks,Gerald E.50334ITUNINARICAUNIMARCBK9900011054404033217-27718023FI1C-48-(177796MA1FI1MA103D55Higher recursion theory79093UNINA