Language, proof, and logicde Jon BarwiseMateriasLogiqueLogicPhilosophyEdiciones (1)Language, proof, and logic (2002)CSLI Publications · inglésMás obras de Jon BarwiseVicious circlesLogical reasoning with diagramsTuring's World 3.0 for the Macintosh