Logical Reasoning with Diagrams - Allwein, Barwise (Oxford University PressOxford University Press, 2020)