"On Second-Order Logic" - читать интересную книгу автора (Boolos George)