"Problems in set theory, mathematical logic and the theory of algorithms" - читать интересную книгу автора (I A Lavrov; L L Maksimova; Giovanna Corsi )