Logical Reasoning with Diagrams - Gerard Allwein-Jon Barwise (Oxford University Press, 1996)
Keywords: Logic; Knowledge representation (Information theory),Logic, Symbolic and mathematical--Charts, diagrams, etc; MATHEMATICS