"Logic, induction and sets" - читать интересную книгу автора (Forster T.)