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 (New York : acidfree paper)
AV  - QA39.2 .G7473 1995
U1  - 511 20
PY  - 1995///
CY  - New York
PB  - Springer-Verlag
KW  - Mathematics
N1  - Includes bibliographical references (p. [473]-475) and index
ER  -