TY  - BOOK
AU  - Bergmann,Merrie
AU  - Moor,James
AU  - Nelson,Jack
TI  - The logic book
SN  - 0070060592
AV  - BC135 .B435 1998
U1  - 160 23
PY  - 1998///
CY  - New York
PB  - McGraw-Hill Companies
KW  - Logic, Symbolic and mathematical
KW  - Predicate (Logic)
N1  - Includes bibliographical references (p. 546-547) and indexes
ER  -