CURRENTLY SOLD OUT

Subsystems of Second Order Arithmetic by Stephen G. Simpson (Hardback, 2009)