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., and others, 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), Band 43 <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)
