Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-25T02:15:18.009Z Has data issue: false hasContentIssue false

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.

Published online by Cambridge University Press:  15 January 2014

Patrick Grim*
Affiliation:
Group for Logic & Formal Semantics, Department of Philosophy, SUNY at Stony Brook, Stony Brook, NY 11794, USA. [email protected].

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Review
Copyright
Copyright © Association for Symbolic Logic 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)