TY  - BOOK
AU  - Pospesel,Howard
TI  - Predicate logic
SN  - 0134862252
PY  - 1976///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - Predicate (Logic)
KW  - Proposition (Logic)
KW  - Logic, Symbolic and mathematical
KW  - Problems, exercises, etc
N1  - Includes bibliographical references and index
ER  -