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.
First Page:
Show
Hide
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.
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