Logical reasoning with diagrams - Allwein, Gerard (Oxford University Press, 1996)