01108nam--2200337---450-99000106995020331620020417132116.0000106995USA01000106995(ALEPH)000106995USA0100010699520020417d1981----km-y0itay0103----baengDE||||||||001yyIterated inductive definitions and subsystems of analysisrecent proof-Theoretical studiesWilfried Buchholz, Solomon Feferman, Wolfram Pohler, Wilfried SiegBerlinSpringer verlag1981V, 383 p.24 cmLecture notes in mathematics8972001Lecture notes in mathematics897515.7BUCHHOLZ,WilfriedITsalbcISBD990001069950203316510 LNM 897908 CBS51000110001BKSCIPATTY9020020417USA011321PATRY9020040406USA011714Iterated inductive definitions and subsystems of analysis979466UNISA