Iterated Inductive Definitions and Subsystems of Analysis (1981)

by W Buchholz, S Feferman, W Pohlers, W Sieg
Venue:Recent Proof-Theoretical Studies