TY  - DATA
AU  - W. Buchholz
AU  -  S. Feferman
AU  -  W. Pohlers
AU  -  W. Sieg
TI  - Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
T2  - Lecture Notes in Mathematics
SN  - 9783540386490
PY  - 1981///
CY  - Heidelberg
PB  - Springer Berlin
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/BFb0091894
ER  -