Language, proof, and logicde Dave Barker-PlummerMateriasLogicEdiciones (1)Language, proof, and logic (2011)CSLI Publications · inglés · ISBN 9781575866321Más obras de Dave Barker-PlummerTarski's worldDiagrammatic representation and inferenceWords, proofs, and diagramsTarski's world