TY - BOOK TI - The logic book SN - 0072401893 AV - BC 135 .B 435 2003 PY - 2003/// CY - New York PB - McGraw Hill KW - Predicate Logic N1 - includes:Bibliography and index. ER -