Words, proofs, and diagramsby Dave Barker-PlummerSemantics (Philosophy)Language and logicVisual communicationReasoningLogic diagramsComputational linguisticsWriting a summary for young readers…For young readersBook data: Open Library