TY  - BOOK
AU  - Buchholz W
TI  - Iterated inductive definitions and subsystems of analysis
T2  - Lecture notes in mathematics; 897
U1  - B3, M1 
PY  - 1981///
CY  - Berlin
PB  - Springer-Verlag         
KW  -  Mathematical Analysis
KW  - Mathematics
ER  -