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