TY  - BOOK
AU  - Pospesel Howard
TI  - Predicate logic : Introduction to logic
U1  - R1, L6 
PY  - 1976///
CY  - New Jersey 
PB  - Prentice Hall        
ER  -