Title: Words, proofs, and diagrams
Subjects: Semantics (Philosophy), Language and logic, Visual communication, Reasoning, Logic diagrams, Computational linguistics