Garnier, Rowan.

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

511.8 / GARR