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