1.
Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to algorithms. MIT Press, Cambridge, Massachusetts (2009).
2.
Hodges, W.: Logic. Penguin, Harmondsworth (1977).
3.
Sedgewick, Robert, Wayne, Kevin Daniel: Algorithms. Addison-Wesley, Upper Saddle River, NJ (2011).
4.
Sedgewick, Robert: Algorithms in C++. Addison-Wesley Pub. Co, Reading, Mass (1992).
5.
Truss, J. K.: Discrete mathematics for computer scientists. Addison-Wesley, Harlow (1999).
6.
Epp, Susanna S.: Discrete mathematics with applications. Brooks/Cole, Boston (1995).
7.
Johnsonbaugh, Richard, London Mathematical Society: Discrete mathematics. Pearson Prentice Hall, Upper Saddle River, N.J. (2005).
8.
Grossman, Peter: Discrete mathematics for computing. Palgrave Macmillan, Basingstoke (2009).
9.
Nissanke, Nimal: Introductory logic and sets for computer scientists. Addison-Wesley, Harlow (1999).
10.
Raymond M. Smullyan: What is the name of this book? Penguin, Harmondsworth (1981).
11.
Smullyan, R.M.: First-order logic. Springer-Verlag, New York (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, New York (1996).
14.
Ainsley Robert: Bluff your way in Computers. Oval Books, London (1999).
