Logical reasoning with diagrams - Allwein, Gerard, (Studies in logic and computation, 1996)