Language, Proof and Logic

Bulletin of Symbolic Logic 7 (3):377-379 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687756

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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.Jon Barwise & John Etchemendy - 1999 - New York and London: Seven Bridges Press.
Language, Proof, and Logic.Dave Barker-Plummer - 1999 - New York and London: CSLI Publications. Edited by Jon Barwise & John Etchemendy.
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.
Jon Barwise and John Etchemendy. Language, proof and logic_. In collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. CSLI Publications, Stanford, and Seven Bridges Press, New York and London, 1999, xii + 587 pp. - Gerard Allwein, Dave Barker-Plummer, Jon Barwise, John Etchemendy, and Albert Liu. _LPL software manual. CSLI Publications, Stanford, and Seven Bridges Press, New York and London, 1999, vii + 52 pp. + CD-ROM. [REVIEW]Patrick Grim - 2001 - Bulletin of Symbolic Logic 7 (3):377-379.
Patrick Grim, Gary Mar, and Paul St. Denis. The philosophical computer. Exploratory essays in philosophical computer modeling. With the Group for Logic and Formal Semantics. The MIT Press, Cambridge, Mass., and London, 1998, viii + 323 pp. + CD-ROM. [REVIEW]Petr Hájek - 2000 - Bulletin of Symbolic Logic 6 (3):347-349.
I. Jané. Reflections on Skolem's relativity of set-theoretical concepts. The Philosopher's Annual, edited by Patrick Grim, Peter Ludlow, and Gary Mar, vol. XXIV. CSLI Publications, Stanford, 2003, pp. 95–121 - C. Wright. On being in a quandary: relativism, vagueness, logical revisionism. The Philosopher's Annual, edited by Patrick Grim, Peter Ludlow, and Gary Mar, vol. XXIV. CSLI Publications, Stanford, 2003, pp. 273–325. [REVIEW]Peter Schotch - 2005 - Bulletin of Symbolic Logic 11 (1):84-89.
Reductive Logic And Proof-search—proof Theory, Semantics, And Control. [REVIEW]Didier Galmiche - 2006 - Bulletin of Symbolic Logic 12 (2):302-303.
Review: Patrick Blackburn, Maarten de Rijke, Yde Venema, Modal Logic. [REVIEW]Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
St. and Patrick Grim. Fractal imagesof formal systems.P. Denis - 1997 - Journal of Philosophical Logic 26.

Analytics

Added to PP
2017-02-22

Downloads
15 (#947,122)

6 months
3 (#1,207,367)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Patrick Grim
University of Michigan, Ann Arbor

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.
A Stronger Doctrine of Double Effect.Ben Bronner & Simon Goldstein - 2018 - Australasian Journal of Philosophy 96 (4):793-805.

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references