TY  - BOOK
AU  - Smith,Peter
TI  - Introduction to formal logic 
SN  - 9780521008044 (pbk.)
AV  - BC71 .S62 2003
U1  - 160 Sm63I 23
PY  - 2013///
CY  - 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  -