Title: Logical reasoning with diagrams
Subjects: Knowledge representation (Information theory), Symbolic and mathematical Logic, Charts, diagrams, Logic, symbolic and mathematical