TY  - BOOK
AU  - Goldrei, D.  .
TI  - Propositional and predicate calculus: a model of argument / 
SN  - 1-85233-921-7
U1  - B32 
PY  - 2005///
CY  - New York : 
PB  - Springer-Verlag , 
KW  - Mathematics
ER  -