TY  - BOOK
AU  - Epstein, Richard L  .
TI  - Predicate logic / 
SN  - 0-534-55846-1
U1  - R1 
PY  - 2001///
CY  - Belmont : 
PB  - Wadsworth Publishing Company , 
KW  - Logic
ER  -