Language, Proof and Logic

&
New York and London: Seven Bridges Press (1999)
  Copy   BIBTEX

Abstract

Covers first-order language in method appropriate for first and second courses in logic. CD-ROM consists of a new book, 3 programs,and an Internet-based grading service.

Categories

Keywords

Reprint years

2000, 2002, 2011

ISBN(s)

157586374X   1889119083   9781575863740   9781889119083   9781575866321   1575866323

DOI

10.2307/2687756

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

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

Language, Proof, and Logic.Dave Barker-Plummer - 1999 - New York and London: CSLI Publications. Edited by Jon Barwise & John Etchemendy.
Language, Proof and Logic.Patrick Grim - 2001 - Bulletin of Symbolic Logic 7 (3):377-379.
Language, Proof and Logic: Text and Cd.Jon Barwise & John Etchemendy - 2002 - Center for the Study of Language and Inf.
Symbolic Logic Study Guide (a textbook).Xinli Wang - 2009 - University Readers.
Barwise Jon and Etchemendy John. The language of first-order logic, including the program Tarski's world. Includes version 3.0 of LV 370 (2). CSLI lecture notes, no. 23. Center for the Study of Language and Information, Stanford 1990, also distributed by the University of Chicago Press, Chicago, xiii+ 259 pp.+ disk. Barwise Jon and Etchemendy John. The language of first-order logic, including the Macintosh program Tarski's world. of the preceding. CSLI lecture notes, no. 23. Center for the Study of .. [REVIEW]Kevin J. Compton - 1993 - Journal of Symbolic Logic 58 (1):362-363.
Jon Barwise and John Etchemendy, The Language of First-Order Logic including Tarski's World 4.0 Reviewed by.Louis Marinoff - 1994 - Philosophy in Review 14 (3):162-164.
Barwise Jon and Etchemendy John, The language of first-order logic, including the IBM-compatible Windows version of Tarski's world 4.0. Third edition of LVIII 362. CSLI lecture notes.no. 34. Center for the Study of Language and Information, Stanford 1992. also distributed by Cambridge University Press, New York, xiv + 319 pp. + disk. [REVIEW]Don Fallis - 1999 - Journal of Symbolic Logic 64 (2):916-918.

Analytics

Added to PP
2010-08-17

Downloads
59 (#361,293)

6 months
7 (#699,353)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Etchemendy
Stanford University

Citations of this work

Logic Informed.Justin Bledin - 2014 - Mind 123 (490):277-316.
From numerical concepts to concepts of number.Lance J. Rips, Amber Bloomfield & Jennifer Asmuth - 2008 - Behavioral and Brain Sciences 31 (6):623-642.
Distributed utterances.Mark McCullagh - 2020 - In Tadeusz Ciecierski & Pawel Grabarczyk (eds.), The Architecture of Context and Context-Sensitivity. Springer. pp. 113-24.

View all 28 citations / Add more citations

References found in this work

No references found.

Add more references