TY  - BOOK
AU  - Gossett, Eric.
TI  - Discrete mathematics with proof
SN  - 9788126527588
U1  - 511.8  2
PY  - 2013///
CY  - New Delhi
PB  - WILEY
KW  - Set logic and boolean algebras
KW  - Proof
KW  - Algorithm
KW  - Formal models in computer science
ER  -