Proof theory of reflection (1994)

by M Rathjen
Venue:Ann. Pure Appl. Logic