Proof-Theoretic Analysis of KPM (1991)

by M Rathjen
Venue:Arch. Math. Logic