TY  - BOOK
AU  - Gries,David
AU  - Schneider,Fred B.
TI  - A logical approach to discrete math
T2  - Texts and monographs in computer science
SN  - 0387941150
PY  - 1993///
CY  - New York, London
PB  - Springer-Verlag
ER  -