Tarski's worldde Dave Barker-PlummerMateriasTarski's worldFirst-order logicEdiciones (1)Tarski's world (2008)CSLI Publications · inglésMás obras de Dave Barker-PlummerLanguage, proof, and logicDiagrammatic representation and inferenceWords, proofs, and diagrams