"Logical Reasoning with Diagrams (Studies in Logic and Computation, 6)" - читать интересную книгу автора (Gerard Allwein, Jon Barwise)