01054nam0-22003491i-450 99000096935040332120240118094004.03-540-11170-0000096935FED01000096935(Aleph)000096935FED0100009693520000920d1981----km-y0itay50------baengIterated inductive definitions and subsystems of analysisRecent Proof-Theoretical StudiesWilfried Buchholz ... [et al.]Berlin [etc.]Springer-Verlag1981V, 383 p.24 cmLecture Notes in Mathematics897LogicaRicorsività160Buchholz,Wilfried45406ITUNINARICAUNIMARCBK9900009693504033217-25212008FI110 DO 93 TADONOTAMBURRINI93/23DINELDINELFI1Iterated inductive definitions and subsystems of analysis342985UNINAING01