"Subsystems of Second Order Arithmetic (Perspectives in Logic)" - читать интересную книгу автора (Stephen G. Simpson)