Simpson: Subsystems of second order arithmetic (1999)

by S G
Venue:Perspectives in Mathematical Logic