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, R. & Wayne, K. D. Algorithms. (Addison-Wesley, Upper Saddle River, N.J., 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, R. & 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. vol. Band 43 (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).
