TY  - BOOK
AU  - Gries, David
AU  - Schneider, fred B.
TI  - Logical approach to discrete math
SN  - ISBN:
U1  - 51 
PY  - 1993///
CY  - New york
PB  - Springer-Verlag
KW  - Mathematics
KW  - Number theory
KW  - Set theory
KW  - Group theory
ER  -