Dave Barker-PlummerBooksDiagrammatic representation and inferenceLanguage, proof, and logicWords, proofs, and diagramsTarski's worldTarski's worldAuthor data: Open Library