Subsystems of Second-Order Arithmetic (1999)

by Stephen G Simpson