23 found
Sort by:
Disambiguations:
John Etchemendy [23]John William Etchemendy [1]
  1. John Etchemendy (2008). Reflections on Consequence. In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press 263--299.
  2. David Barker-Plummer, Jon Barwise & John Etchemendy (2007). Tarski's World: Revised and Expanded. Center for the Study of Language and Inf.
     
    My bibliography  
     
    Export citation  
  3. Jon Barwise & John Etchemendy (2002). Language, Proof and Logic: Text and Cd. Center for the Study of Language and Inf.
     
    My bibliography  
     
    Export citation  
  4. Jon Barwise & John Etchemendy (1999). Language, Proof and Logic. Seven Bridges Press.
  5. Jon Barwise & John Etchemendy (1998). Computers, Visualization, and the Nature of Reasoning. In Terrell Ward Bynum & James Moor (eds.), The Digital Phoenix: How Computers Are Changing Philosophy. Blackwell Publishers 93--116.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Jon Barwise & John Etchemendy (1996). Heterogeneous Logic. In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Jon Barwise & John Etchemendy (1994). Hyperproof: For Macintosh. Center for the Study of Language and Inf.
     
    My bibliography  
     
    Export citation  
  8. Doug Goldson, Steve Reeves, Jon Barwise & John Etchemendy (1994). The Language of First-Order Logic, Including the Macintosh Program Tarski's World. Philosophical Quarterly 44 (175):272.
  9. S. L. R., Jon Barwise & John Etchemendy (1994). Turing's World 3.0. An Introduction to Computability Theory. Philosophical Quarterly 44 (175):276.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Jon Barwise & John Etchemendy (1993). The Language of First-Order Logic Including the Macintosh Version of Tarski's World 4.0. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  11. Jon Barwise & John Etchemendy (1993). Turing's World 3.0 for the Macintosh an Introduction to Computability Theory.
  12. Jon Barwise & John Etchemendy (1993). Tarski's World Version 4.0 for Ms Windows.
     
    My bibliography  
     
    Export citation  
  13. Jon Barwise & John Etchemendy (1992). The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for Use with Ibm-Compatible Computers. [REVIEW] Center for the Study of Language and Inf.
     
    My bibliography  
     
    Export citation  
  14. Jon Barwise & John Etchemendy (1992). The Language of First-Order Logic Including the Ibm-Compatible Windows Version of Tarski's World 4.0. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  15. Jon Barwise & John Etchemendy (1992). The Language of First-Order Logic, Including the Macintoshâ„¢ Tarski's World. Studia Logica 51 (1):145-147.
     
    My bibliography  
     
    Export citation  
  16. Jon Barwise & John Etchemendy (1991). Tarski's World 3.0 Including the Macintosh Program. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  17. Jon Barwise & John Etchemendy (1990). The Language of First-Order Logic Including the Program Tarski's World. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  18. Jon Barwise & John Etchemendy (1990). Turing's World. Journal of Symbolic Logic 55 (1):370-371.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. John Etchemendy (1990). The Concept of Logical Consequence. Harvard University Press.
  20. John Etchemendy & Jon Barwise (1989). Model-Theoretic Semantics. In Michael I. Posner (ed.), Foundations of Cognitive Science. MIT Press 207--243.
  21. John Etchemendy (1988). Models, Semantics and Logical Truth. Linguistics and Philosophy 11 (1):91 - 106.
  22. John Etchemendy (1988). Tarski on Truth and Logical Consequence. Journal of Symbolic Logic 53 (1):51-79.
  23. John Etchemendy (1983). The Doctrine of Logic as Form. Linguistics and Philosophy 6 (3):319 - 334.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation