TY  - BOOK
AU  - Pospesel,Howard
TI  - Propositional logic
T2  - His Introduction to logic
SN  - 0134862171
AV  - BC108 .P73 
U1  - 160 
PY  - 1974///]
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - Proposition (Logic)
KW  - Logic, Symbolic and mathematical
KW  - Reasoning
N1  - Includes bibliographical references
ER  -