000 00709nam a2200265Ia 4500
003 OSt
005 20220912151254.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a22118
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB3, M1
100 _aBuchholz W
245 0 _aIterated inductive definitions and subsystems of analysis
260 _aBerlin
_bSpringer-Verlag
_c1981
300 _avi, 383p.
_ccm.
490 _aLecture notes in mathematics; 897
650 _a Mathematical Analysis
650 _aMathematics
942 _hB3, M1
_cTEXL
_2CC
999 _c64914
_d64914