Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds