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 AV - QA39.2 G75 1993 PY - 1993/// CY - New York PB - Springer-Verlag KW - lemb KW - Matemáticas N1 - Incluye bibliografía e índice ER -