TY - BOOK AU - Teller,Paul TI - A modern formal logic primer SN - 0139031707 AV - BC71 .T42 1989 U1 - 511.3 19 PY - 1989/// CY - Englewood Cliffs, N.J. PB - Prentice Hall KW - Logic N1 - Includes indexes; v. 1. Sentence logic -- v. 2. Predicate logic and metatheory ER -