Books suggested.

1. Michael Huth and Mark Ryan, Logic in Computer Science: modeling and reasoning about systems, Cambridge University Press.
2. Alfred V. Aho, Monical S. Lam, Ravi Sethi, and Jeffrey D. Ullman, Compilers Principles, Techniques, & Tools.
3. Sebastian Raschka, and Vahid Mirjalili Python Machine Learning (2nd Edition)