TY  - BOOK
AU  - Pospesel,Howard
TI  - Predicate logic
T2  - Introduction to logic
SN  - 0134862252
U1  - 511.3 23
PY  - 1976///
CY  - Englewood Cliffs, N.J. : 
PB  - Prentice-Hall, 
KW  - mathematical Logic
N1  - Includes bibliographical references and index
ER  -