Logical reasoning with diagrams - Allwein, Gerard, 1956-; Barwise, Jon (Studies in logic and computation., 1996)