Subsystems of Second Order Arithmetic (2009)

by S G Simpson
Venue:Perspectives in Mathematical Logic