A note on the ordinal analysis of KPM, in (1993)

by W Buchholz
Venue:Vaananen (Eds.), Logic Colloquium ’90, ASL Summer Meeting Helsinki, Lecture Notes in Logic