Ainsley Robert. 1999. Bluff Your Way in Computers. Oval Books. http://copac.jisc.ac.uk/id/19561755?style=html&title=Bluff%20your%20way%20in%20computers.
Cormen, Thomas H., Charles Eric Leiserson, Ronald L. Rivest, and Clifford Stein. 2009. Introduction to Algorithms. Third edition. MIT Press. http://ebookcentral.proquest.com/lib/ucl/detail.action?docID=3339142.
Epp, Susanna S. 1995. Discrete Mathematics with Applications. 2nd ed. Brooks/Cole.
Grossman, Peter. 2009. Discrete Mathematics for Computing. 3rd ed. Palgrave Macmillan.
Hodges, Wilfrid. 1977. Logic. Penguin.
Jeffrey, Richard C. 1967. Formal Logic: Its Scope and Limits. McGraw-Hill.
Johnsonbaugh, Richard and London Mathematical Society. 2005. Discrete Mathematics. 6th ed. Pearson Prentice Hall.
Keisler, H. Jerome, and Joel W. Robbin. 1996. Mathematical Logic and Computability. The McGraw-Hill Companies, Inc.
Nissanke, Nimal. 1999. Introductory Logic and Sets for Computer Scientists. Addison-Wesley.
Raymond M. Smullyan. 1981. What Is the Name of This Book? Penguin.
Sedgewick, Robert. 1992. Algorithms in C++. Addison-Wesley Pub. Co.
Sedgewick, Robert, and Kevin Daniel Wayne. 2011. Algorithms. 4th ed. Addison-Wesley.
Smullyan, Raymond M. 1968. First-Order Logic. Band 43. Springer-Verlag. https://ebookcentral.proquest.com/lib/UCL/detail.action?docID=3098371&pq-origsite=primo.
Truss, J. K. 1999. Discrete Mathematics for Computer Scientists. 2nd ed. Addison-Wesley.
