TY - GEN AU - Haggard, Gary AU - Schlipf, John AU - Whitesides, Sue TI - Discrete mathematics for computer science SN - 9788131501214 U1 - 510 HAG/Dis PY - 2008/// CY - New Delhi PB - Cengage Learning India Pvt. Ltd. KW - Sets, proof templets, and induction KW - Graph theory KW - Analysis of algorithms KW - Binary relations- equivalence relations KW - Formal Logic N1 - Includes appendix and index ER -