1.
Cormen TH, Leiserson CE, Rivest RL, Stein C. Introduction to Algorithms. Third edition. MIT Press; 2009. http://ebookcentral.proquest.com/lib/ucl/detail.action?docID=3339142
2.
Hodges W. Logic. Penguin; 1977.
3.
Sedgewick, Robert, Wayne, Kevin Daniel. Algorithms. 4th ed. Addison-Wesley; 2011. https://go.oreilly.com/university-college-london/library/view/-/9780132762564/?ar
4.
Sedgewick, Robert. Algorithms in C++. Addison-Wesley Pub. Co; 1992.
5.
Truss, J. K. Discrete Mathematics for Computer Scientists. 2nd ed. Addison-Wesley; 1999.
6.
Epp, Susanna S. Discrete Mathematics with Applications. 2nd ed. Brooks/Cole; 1995.
7.
Johnsonbaugh, Richard, London Mathematical Society. Discrete Mathematics. Vol The JK computer science and mathematics series. 6th ed. Pearson Prentice Hall; 2005.
8.
Grossman, Peter. Discrete Mathematics for Computing. 3rd ed. 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 RM. First-Order Logic. Vol Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer-Verlag; 1968.
12.
Jeffrey RC. Formal Logic: Its Scope and Limits. McGraw-Hill; 1967.
13.
Keisler HJ, Robbin JW. Mathematical Logic and Computability. The McGraw-Hill Companies, Inc; 1996.
14.
Ainsley Robert. Bluff Your Way in Computers. Oval Books; 1999. http://copac.jisc.ac.uk/id/19561755?style=html&title=Bluff%20your%20way%20in%20computers
