The !+1 -rule (1981)

by Wilfried Buchholz
Venue:In Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies