Logical reasoning with diagrams - Allwein, Gerard; Barwise, Jon, 1942-; Allwein, Gerard, 1956-; Barwise, Jon (Oxford University Press, 1996)