Vol. 897. Buchholz, Wilfried; Feferman, Solomon; Pohelers, Wolfram; Sieg, Wilfried. (Eds.) 
Iterated Inductive Definitions and Subsytems of Analyisis: Recent Proof-Theoretical Studies 
QA300 I74