"Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series)" - читать интересную книгу автора (Allen L. Mann, Gabriel Sandu, Merlijn Sevenster)