**References**

- [RosenTextBook] Discrete Mathematics and its Applications Kenneth H. Rosen 7th Edition -Tata McGraw Hill Publishers - 2007
- [HR] Michael Huth and Mark Ryan, Logic in Computer Science - Modelling and Reasoning about Systems, Cambridge University Press, 2004.
- [Enderton] A Mathematical Introduction to Logic - Herbert B Enderton, Pearson Publishers.
- [Benjamin-Quinn] Proofs that Really Count: The Art of Combinatorial Proof by Arthur T. Benjamin and Jennifer J. Quinn
- [Cameron] Combinatorics: Topics, Techniques, Algorithms by Peter J. Cameron, Cambridge University Press, 1994 (reprinted 1996).
- [GKP] Concrete Mathematics Ronald Graham, Donald Knuth, and Oren Patashnik, 2nd Edition - Pearson Education Publishers - 1996.