TY - BOOK AU - Pospesel, Howard, AU - Pospesel, Howard, TI - Introduction to logic: propositional logic SN - 0134861671 U1 - 160 21 PY - 1984/// CY - Englewood Cliffs, N.J. PB - Prentice-Hall KW - Proposition (Logic) KW - Logic, Symbolic and mathematical KW - Reasoning N1 - Rev. ed. of: Propositional logic. 1974; Includes bibliographical references and index ER -