References
Text Books & References
- [Rosen] Discrete Mathematics and its Applications Kenneth H. Rosen 7th Edition -Tata McGraw Hill Publishers - 2007
- [HMU] Introduction to Automata Theory, Languages and Computation - Hopcroft, Motwani, and Ullman - Pearson Publishers
- [Enderton] A Mathematical Introduction to Logic - Herbert B Enderton, Pearson Publishers.
- [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.
- [HR] Michael Huth and Mark Ryan, Logic in Computer Science - Modelling and Reasoning about Systems, Cambridge University Press, 2004.
- [Sch] Uwe Schoening, Logic for Computer Scientists, Birkhaeser, 1989.