Subsystems of second order arithmetic (1999)

by S G Simpson
Venue:Perspectives in Mathematical Logic