"Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts)" - читать интересную книгу автора (Jouko Väänänen)