1.
Cormen, T. H., Leiserson, C. E., Rivest, R. L. & Stein, C. Introduction to algorithms. (MIT Press, 2009).
2.
Hodges, W. Logic. (Penguin, 1977).
3.
Sedgewick, Robert & Wayne, Kevin Daniel. Algorithms. (Addison-Wesley, 2011).
4.
Sedgewick, Robert. Algorithms in C++. (Addison-Wesley Pub. Co, 1992).
5.
Truss, J. K. Discrete mathematics for computer scientists. (Addison-Wesley, 1999).
6.
Epp, Susanna S. Discrete mathematics with applications. (Brooks/Cole, 1995).
7.
Johnsonbaugh, Richard & London Mathematical Society. Discrete mathematics. vol. The JK computer science and mathematics series (Pearson Prentice Hall, 2005).
8.
Grossman, Peter. Discrete mathematics for computing. (Palgrave Macmillan, 2009).
9.
Nissanke, Nimal. Introductory logic and sets for computer scientists. (Addison-Wesley, 1999).
10.
Raymond M. Smullyan. What is the name of this book? (Penguin, 1981).
11.
Smullyan, R. M. First-order logic. vol. Ergebnisse der Mathematik und ihrer Grenzgebiete (Springer-Verlag, 1968).
12.
Jeffrey, R. C. Formal logic: its scope and limits. (McGraw-Hill, 1967).
13.
Keisler, H. J. & Robbin, J. W. Mathematical logic and computability. (The McGraw-Hill Companies, Inc, 1996).
14.
Ainsley Robert. Bluff your way in Computers. (Oval Books, 1999).
