Words, proofs, and diagramsde Dave Barker-PlummerMateriasSemantics (Philosophy)Language and logicVisual communicationReasoningLogic diagramsComputational linguisticsEdiciones (1)Words, proofs, and diagrams (2002)CSLI Publications · inglésMás obras de Dave Barker-PlummerLanguage, proof, and logicTarski's worldDiagrammatic representation and inferenceTarski's world