TY - BOOK AU - Pospesel,Howard AU - Lycan,William G. TI - Introduction to logic: propositional logic AV - BC181 .I587 1998 PY - 1998/// CY - Upper Saddle River, New Jersey PB - Prentice Hall KW - Proposition (Logic) KW - Logic, Symbolic and mathematical KW - Reasoning N1 - 2; 2 ER -