TY - BOOK AU - Haggard, Gary AU - Whitesides, Sue AU - Schlipf, John TI - Discrete Mathematics for Computer Science SN - 8131501213 U1 - 511 HAG PY - 2007/// CY - London PB - Thomson/Brooks/Cole KW - Discrete Mathematics N1 - Contents: 1. SETS, PROOF TEMPLATES, AND ER -