1. Uwe schining “Logic for computer scientists”, Birkhauser E-book Download- Click Here 2. M.Ben-ari, “Mathematical logic for computer science” E-book Download- Click Here
3.John Harrison, “Handbook of Practical logic and automated Reasoning” E-book Download- Click Here
4.Greg Michaelson, “An introduction to functional programming through lamba calculus” E-book Download- Click Here
5.Kenneth Slonneger and barry Kurtz, “Formal syntax and semantics of programming languages” E-book Download- Click Here
6.Kenneth H. Rosen, “Discrete Mathematics and its applications” E-book Download- Click Here
7.Sriram Pemmaraju and Steven Skiena, “Computational Discrete Mathematics” E-book Download- Click Here
8.M.Huth and M.Ryan, “Logic in computer science – Modeling and reasoning about systems” E-book Download- Click Here
9.Norman L. Biggs, ” Discrete Mathematics” E-book Download- Click Here
10. Juraj Hromkovic, “Theoretical Computer Science” E-book Download- Click Here
11. J.E. Hopcroft, Rajeev Motwani, and J.D.Ullman, “Introducation to Automata Theory,Languages and Computation” E-book Download- Click Here
3.John Harrison, “Handbook of Practical logic and automated Reasoning” E-book Download- Click Here
4.Greg Michaelson, “An introduction to functional programming through lamba calculus” E-book Download- Click Here
5.Kenneth Slonneger and barry Kurtz, “Formal syntax and semantics of programming languages” E-book Download- Click Here
6.Kenneth H. Rosen, “Discrete Mathematics and its applications” E-book Download- Click Here
7.Sriram Pemmaraju and Steven Skiena, “Computational Discrete Mathematics” E-book Download- Click Here
8.M.Huth and M.Ryan, “Logic in computer science – Modeling and reasoning about systems” E-book Download- Click Here
9.Norman L. Biggs, ” Discrete Mathematics” E-book Download- Click Here
10. Juraj Hromkovic, “Theoretical Computer Science” E-book Download- Click Here
11. J.E. Hopcroft, Rajeev Motwani, and J.D.Ullman, “Introducation to Automata Theory,Languages and Computation” E-book Download- Click Here