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 -