Iterated Inductive Definitions and Subsystems of Analysis (1981)

by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg
Venue:Recent Proof-Theoretical Studies