TY  - BOOK
AU  - Gries, David
TI  - Logical approach to discrete math
SN  - 0-387-94115-0
PY  - 1993///
CY  - New York
PB  - Springer-Verlag
KW  - Mathematics
ER  -