TY  - BOOK
AU  - Gerstein,Larry J.
TI  - Introduction to mathematical structures and proofs
SN  - 0387979972 
AV  - QA9.G3 1996 
U1  - 511.3 
PY  - 1996///
CY  - New York
PB  - Springer
KW  - Logic, Symbolic and mathematical
UR  - http://www.loc.gov/catdir/enhancements/fy0815/95044881-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0815/95044881-t.html
ER  -