Discrete mathematics: proofs structures and applications /
By Rowan Garnier and John Taylor
- 3rd ed.
- Mumbai : Book world , 2011.
- xxi,821p. ; 22 cm.
9781439812808
Propositions and truth values Tautologies and contradictions Applications of graph theory