TY - BOOK AU - Garnier, Rowan. AU - Taylor, John. TI - Discrete mathematics: : proofs structures and applications SN - 9781439812808 U1 - 511.8 3 PY - 2011/// CY - Mumbai PB - Book world KW - Propositions and truth values KW - Tautologies and contradictions KW - Applications of graph theory ER -