TY  - BOOK
AU  - Smith,Peter
TI  - An introduction to formal logic
SN  - 0-521-00804-2
AV  - BC71 .S62 2003
PY  - 2003///
CY  - Cambridge, UK, New York
PB  - Cambridge University Press
KW  - Logic
N1  - Includes bibliographical references (p. 348-351) and index
UR  - http://www.loc.gov/catdir/description/cam032/2003057283.html
UR  - http://www.loc.gov/catdir/toc/cam032/2003057283.html
UR  - http://www.loc.gov/catdir/enhancements/fy0732/2003057283-b.html
ER  -