2009-03-04 ■ 注文文献 注文文献 Stephen G. Simpson Subsystems of Second Order Arithmetic, 2nd Edition, Cambridge University Press, Perspectives in Logic Series, Due in May 2009