00926nam0-22002891i-450-990001218740403321000121874FED01000121874(Aleph)000121874FED0100012187420000920d1----km-y0itay50------baengIterated inductive definitions and subsystems of analysisRecent Proof-Theoretical Studiesby Buchholz W. Feferman S. Pohlers W. Sieg W.Berlin [etc.]Springer-Verlag1Lecture Notes in Mathematics897Buchholz,Wilfried45406Feferman,SolomonPohlers,WolframSieg,WilfriedITUNINARICAUNIMARCBK990001218740403321C-20-(89720604MA1MA1Iterated inductive definitions and subsystems of analysis342985UNINAING01