TY - BOOK AU - Gries,David AU - Schneider, Fred B., TI - A logical approach to discrete math T2 - Texts and monographs in computer science SN - 0-387-94115-0 AV - QA39.2 G74 PY - 1993/// CY - New York PB - Springer Verlag KW - Matemáticas ER -