Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, Including the IBM-Compatible Windows Version of Tarski's World 4.0; Jon Barwise, John Etchemendy, Hyperproof [Book Review]

Journal of Symbolic Logic 64 (2):916-918 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, including the Program Tarski's World; Jon Barwise, John Etchemendy, The Language of First-order Logic, including the Macintosh Program Tarski's World. [REVIEW]Kevin J. Compton - 1993 - Journal of Symbolic Logic 58 (1):362-363.
Review: Jon Barwise, John Etchemendy, Turing's World; Jon Barwise, John Etchemendy, Tarski's World. [REVIEW]George Boolos - 1990 - Journal of Symbolic Logic 55 (1):370-371.
The Language of First-Order Logic, including the Macintosh Program Tarski's World.Doug Goldson, Steve Reeves, Jon Barwise & John Etchemendy - 1994 - Philosophical Quarterly 44 (175):272.
Language, Proof and Logic.Jon Barwise & John Etchemendy - 1999 - New York and London: Seven Bridges Press.
Etchemendy, Tarski, and Logical Consequence.Jared Bates - 1999 - Southwest Philosophy Review 15 (1):47-54.
Heterogeneous logic.Jon Barwise & John Etchemendy - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
Review: Jon Barwise, John Etchemendy, The Liar. An Essay on Truth and Circularity. [REVIEW]Donald A. Martin - 1992 - Journal of Symbolic Logic 57 (1):252-254.
Turing's World 3.0. An Introduction to Computability Theory.S. L. R., Jon Barwise & John Etchemendy - 1994 - Philosophical Quarterly 44 (175):276.
Vier Philosophen über semantische Paradoxien.Ulrich Nortmann - 1995 - History and Philosophy of Logic 16 (2):217-244.
Model-theoretic Semantics.John Etchemendy & Jon Barwise - 1989 - In Michael I. Posner (ed.), Foundations of Cognitive Science. MIT Press. pp. 207--243.
Etchemendy and Bolzano on Logical Consequence.Paul Rusnock & Mark Burke - 2010 - History and Philosophy of Logic 31 (1):3-29.

Analytics

Added to PP
2013-11-22

Downloads
9 (#1,252,744)

6 months
1 (#1,469,946)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Don Fallis
Northeastern University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references