TY - BOOK AU - Epstein,Richard L. TI - PREDICATE LOGIC SN - 0534558461 U1 - 160 PY - 2001/// CY - PB - Wadsworth/Thomson Learning, Australia KW - Logic KW - Predicate (Logic) KW - Logic, Symbolic And Mathematical ER -