TY  - BOOK
AU  - Haggard, Gary.
AU  - Schlipf, John.
AU  - Whitesides, Sue.
TI  - Discrete mathematics for computer science
SN  - 9788131501214
U1  - 511.8  1
PY  - 2006///
CY  - New Delhi
PB  - Cengage Learning India Pvt Ltd
KW  - Sets proof templates and induction
KW  - Functions
KW  - Formal logic
KW  - Relations
ER  -