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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A modal interpretation of the logic of interrogation.Rani Nelken & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (3):251-271.
A proofless proof of the Barwise compactness theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.
A new correctness criterion for cyclic proof nets.V. Michele Abrusci & Elena Maringelli - 1998 - Journal of Logic, Language and Information 7 (4):449-459.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Unnatural language processing.J. Oberlander, P. Monaghan, R. Cox, K. Stenning & R. Tobin - 1999 - Journal of Logic, Language and Information 8 (3):363-384.
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.

Analytics

Added to PP
2010-08-17

Downloads
43 (#324,761)

6 months
4 (#319,344)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Etchemendy
Stanford University

Citations of this work

Against the Russellian open future.Anders J. Schoubye & Brian Rabern - 2017 - Mind 126 (504): 1217–1237.
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