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, Richard and London Mathematical Society, Discrete Mathematics, vol The JK computer science and mathematics series (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, Robert, Algorithms in C++ (Addison-Wesley Pub Co 1992)
Sedgewick, Robert and Wayne, Kevin Daniel, Algorithms (4th ed, Addison-Wesley 2011) <https://go.oreilly.com/university-college-london/library/view/-/9780132762564/?ar>
Smullyan RM, First-Order Logic, vol Ergebnisse der Mathematik und ihrer Grenzgebiete (Springer-Verlag 1968)
Truss, J. K., Discrete Mathematics for Computer Scientists (2nd ed, Addison-Wesley 1999)
