Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis (1970)

by S Feferman
Venue:Intuitionism and Proof Theory