23 found
Order:
Disambiguations:
John Etchemendy [23]John William Etchemendy [1]
  1.  30
    John Etchemendy (1990). The Concept of Logical Consequence. Harvard University Press.
  2. John Etchemendy (1988). Tarski on Truth and Logical Consequence. Journal of Symbolic Logic 53 (1):51-79.
  3.  4
    Jon Barwise & John Etchemendy (1999). Language, Proof and Logic. Seven Bridges Press.
  4.  93
    John Etchemendy (1983). The Doctrine of Logic as Form. Linguistics and Philosophy 6 (3):319 - 334.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  5.  30
    John Etchemendy (2008). Reflections on Consequence. In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press 263--299.
  6. John Etchemendy & Jon Barwise (1989). Model-Theoretic Semantics. In Michael I. Posner (ed.), Foundations of Cognitive Science. MIT Press 207--243.
  7.  59
    John Etchemendy (1988). Models, Semantics and Logical Truth. Linguistics and Philosophy 11 (1):91 - 106.
  8. David Barker-Plummer, Jon Barwise & John Etchemendy (2007). Tarski's World: Revised and Expanded. Center for the Study of Language and Inf.
    _Tarski’s World_ is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The program allows students to build three-dimensional worlds and then describe them in first-order logic. The program, compatible with Macintosh and PC formats, also contains a unique and effective corrective tool in the form of a game, (...)
     
    Export citation  
     
    My bibliography   1 citation  
  9.  10
    Jon Barwise & John Etchemendy (1996). Heterogeneous Logic. In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  10. Jon Barwise & John Etchemendy (1994). Hyperproof: For Macintosh. Center for the Study of Language and Inf.
     
    Export citation  
     
    My bibliography   2 citations  
  11. Jon Barwise & John Etchemendy (2002). Language, Proof and Logic: Text and Cd. Center for the Study of Language and Inf.
    This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible (...)
     
    Export citation  
     
    My bibliography   1 citation  
  12.  14
    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  
     
    Export citation  
     
    My bibliography  
  13.  5
    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)  
     
    Export citation  
     
    My bibliography  
  14.  5
    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.
  15. 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.
     
    Export citation  
     
    My bibliography  
  16. Jon Barwise & John Etchemendy (1990). The Language of First-Order Logic Including the Program Tarski's World. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography  
  17. 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).
     
    Export citation  
     
    My bibliography  
  18. 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).
     
    Export citation  
     
    My bibliography  
  19. Jon Barwise & John Etchemendy (1992). The Language of First-Order Logic, Including the Macintosh™ Tarski's World. Studia Logica 51 (1):145-147.
     
    Export citation  
     
    My bibliography  
  20. Jon Barwise & John Etchemendy (1991). Tarski's World 3.0 Including the Macintosh Program. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography  
  21. Jon Barwise & John Etchemendy (1990). Turing's World. Journal of Symbolic Logic 55 (1):370-371.
    Direct download  
     
    Export citation  
     
    My bibliography  
  22. Jon Barwise & John Etchemendy (1993). Turing's World 3.0 for the Macintosh an Introduction to Computability Theory.
     
    Export citation  
     
    My bibliography  
  23. Jon Barwise & John Etchemendy (1993). Tarski's World Version 4.0 for Ms Windows.
     
    Export citation  
     
    My bibliography