Bulletin of Symbolic Logic

As this article doesn't contain an abstract, the image below is necessary to enable the article to be indexed by certain search engines. The resolution of the full-text PDF is much higher than that shown here.

Review

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.

Patrick Grim

Group for Logic & Formal Semantics, Department of Philosophy, SUNY at Stony Brook, Stony Brook, NY 11794, USA. pgrim@notes.cc.sunysb.edu.

Metrics