Review: Jon Barwise, John Etchemendy, Language, Proof and Logic; Gerard Allwein, Dave Barker-Plummer, Jon Barwise, John Etchemendy, Albert Liu, LPL Software Manual
Patrick Grim
Source: Bull. Symbolic Logic Volume 7, Number 3 (2001), 377-379.
Reviewed Works:
Jon Barwise, John Etchemendy, Language, Proof and Logic.
Gerard Allwein, Dave Barker-Plummer, Jon Barwise, John Etchemendy, Albert Liu, LPL Software Manual.
Full-text: Remote access
If you are a member of the ASL, log in to Euclid for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.bsl/1182353803
JSTOR: links.jstor.org
