of second order arithmetic (1999)

by Subsystems
Venue:Perspectives in Mathematical Logic