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.
Cormen, Thomas H., et al. Introduction to Algorithms. Third edition, MIT Press, 2009, http://ebookcentral.proquest.com/lib/ucl/detail.action?docID=3339142.
Epp, Susanna S. Discrete Mathematics with Applications. 2nd ed, Brooks/Cole, 1995.
Grossman, Peter. Discrete Mathematics for Computing. 3rd ed, Palgrave Macmillan, 2009.
Hodges, Wilfrid. Logic. Penguin, 1977.
Jeffrey, Richard C. Formal Logic: Its Scope and Limits. McGraw-Hill, 1967.
Johnsonbaugh, Richard and London Mathematical Society. Discrete Mathematics. 6th ed, Pearson Prentice Hall, 2005.
Keisler, H. Jerome, and Joel W. Robbin. Mathematical Logic and Computability. The McGraw-Hill Companies, Inc, 1996.
Nissanke, Nimal. Introductory Logic and Sets for Computer Scientists. Addison-Wesley, 1999.
Raymond M. Smullyan. What Is the Name of This Book? Penguin, 1981.
Sedgewick, Robert. Algorithms in C++. Addison-Wesley Pub. Co, 1992.
Sedgewick, Robert, and Kevin Daniel Wayne. Algorithms. 4th ed, Addison-Wesley, 2011.
Smullyan, Raymond M. First-Order Logic. Springer-Verlag, 1968, https://ebookcentral.proquest.com/lib/UCL/detail.action?docID=3098371&pq-origsite=primo.
Truss, J. K. Discrete Mathematics for Computer Scientists. 2nd ed, Addison-Wesley, 1999.
