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 TH 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 W, Logic (Penguin 1977)
Jeffrey RC, Formal Logic: Its Scope and Limits (McGraw-Hill 1967)
Johnsonbaugh R and London Mathematical Society, Discrete Mathematics (6th ed, Pearson Prentice Hall 2005)
Keisler HJ and Robbin JW, 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 R and Wayne KD, Algorithms (4th ed, Addison-Wesley 2011)
Sedgewick, Robert, Algorithms in C++ (Addison-Wesley Pub Co 1992)
Smullyan RM, First-Order Logic, vol Band 43 (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)