A note on the ordinal analysis of KP M (1993)

by W Buchholz
Venue:Logic Colloquium ’90, ASL Summer Meeting Helsinki, volume 2 of Springer Lecture Notes in Logic, pages 1 – 9