Language proof and logicde Jon Barwise, John EtchemendyMateriasBeweisCD-ROMLogikEinführungSprachePhilosophyLogicEdiciones (1)Language proof and logic (2006)CSLI Publ. · inglés · ISBN 9781575863740Más obras de Jon BarwiseLanguage, proof, and logicVicious circlesLogical reasoning with diagramsTuring's World 3.0 for the Macintosh