• [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.