Σn-collection schemes in arithmetic (1978)

by J B Paris, L A S Kirby
Venue:In Logic Colloquium '77