Recent advances in ordinal analysis: �1 2-CA and related systems (1995)

by M Rathjen
Venue:Bull. Symbolic Logic