Ainsley Robert. Bluff Your Way in Computers. London: Oval Books, 1999. Web. <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. Cambridge, Massachusetts: MIT Press, 2009. Web. <http://ebookcentral.proquest.com/lib/ucl/detail.action?docID=3339142>.
Epp, Susanna S. Discrete Mathematics with Applications. 2nd ed. Boston: Brooks/Cole, 1995. Print.
Grossman, Peter. Discrete Mathematics for Computing. 3rd ed. Basingstoke: Palgrave Macmillan, 2009. Print.
Hodges, Wilfrid. Logic. Harmondsworth: Penguin, 1977. Print.
Jeffrey, Richard C. Formal Logic: Its Scope and Limits. McGraw-Hill, 1967. Print.
Johnsonbaugh, Richard and London Mathematical Society. Discrete Mathematics. 6th ed. The JK computer science and mathematics series. Upper Saddle River, N.J.: Pearson Prentice Hall, 2005. Print.
Keisler, H. Jerome, and Joel W. Robbin. Mathematical Logic and Computability. New York: The McGraw-Hill Companies, Inc, 1996. Print.
Nissanke, Nimal. Introductory Logic and Sets for Computer Scientists. Harlow: Addison-Wesley, 1999. Print.
Raymond M. Smullyan. What Is the Name of This Book? Harmondsworth: Penguin, 1981. Print.
Sedgewick, Robert. Algorithms in C++. Reading, Mass: Addison-Wesley Pub. Co, 1992. Print.
Sedgewick, Robert and Wayne, Kevin Daniel. Algorithms. 4th ed. Upper Saddle River, NJ: Addison-Wesley, 2011. Web. <https://go.oreilly.com/university-college-london/library/view/-/9780132762564/?ar>.
Smullyan, Raymond M. First-Order Logic. Ergebnisse der Mathematik und ihrer Grenzgebiete. New York: Springer-Verlag, 1968. Print.
Truss, J. K. Discrete Mathematics for Computer Scientists. 2nd ed. Harlow: Addison-Wesley, 1999. Print.
