A new system of proof-theoretic ordinal functions (1986)

by W Buchholz
Venue:Ann. Pure Appl. Logic