Dave Barker-Plummer · 5 obras en el catálogoObrasLanguage, proof, and logicTarski's worldDiagrammatic representation and inferenceWords, proofs, and diagramsTarski's world