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