01229nam a2200337 i 450099100104741970753620020507182240.0951011s1981 de ||| | eng 3540111700b10793641-39ule_instLE01306215ExLDip.to Matematicaeng511AMS 03F05AMS 03F35Buchholz, Wilfried45406Iterated inductive definitions and subsystems of analysis :recent proof-theoretical studies /Wilfried Buchholz ... [et al.]Berlin :Springer-Verlag,1981v, 383 p. :ill. ;25 cm.Lecture notes in mathematics,0075-8434 ;897Bibliography: p. [358]-368.Includes indexInductionMathematical analysisProof theory.b1079364123-02-1728-06-02991001047419707536LE013 03F BUC11 (1981)12013000037004le013-E0.00-l- 00000.i1089485828-06-02Iterated inductive definitions and subsystems of analysis342985UNISALENTOle01301-01-95ma -engde 01