The realm of ordinal analysis (1999)

by M Rathjen
Venue:Sets and Proofs