TY - BOOK AU - Gries, David AU - Schneider, Fred B. TI - A logical approach to discrete math SN - 9780387941158 U1 - 510 PY - 1993/// CY - New York PB - Springer KW - Mathematics KW - Computer science ER -