Iterated inductive definitions and subsystems of analysis : Recent proof-theoretical studies - Buchholz, Wilfried, 1948-; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (Berlin ; New York : Springer-Verlag, 1981)
Includes index.
Bibliogr.: p. [358]-368.
Keywords: Mathematical analysis -- Foundations; Induction (Mathematics); Proof theory