Proof-theoretical analysis of (1991)

by M Rathjen
Venue:KPM, Arch. Math. Logic