Ainsley Robert (1999) Bluff your way in Computers. London: Oval Books. Available at: http://copac.jisc.ac.uk/id/19561755?style=html&title=Bluff%20your%20way%20in%20computers.
Cormen, T.H. et al. (2009) Introduction to algorithms. Third edition. Cambridge, Massachusetts: MIT Press. Available at: http://ebookcentral.proquest.com/lib/ucl/detail.action?docID=3339142.
Epp, Susanna S. (1995) Discrete mathematics with applications. 2nd ed. Boston: Brooks/Cole.
Grossman, Peter (2009) Discrete mathematics for computing. 3rd ed. Basingstoke: Palgrave Macmillan.
Hodges, W. (1977) Logic. Harmondsworth: Penguin.
Jeffrey, R.C. (1967) Formal logic: its scope and limits. McGraw-Hill.
Johnsonbaugh, Richard and London Mathematical Society (2005) Discrete mathematics. 6th ed. Upper Saddle River, N.J.: Pearson Prentice Hall.
Keisler, H.J. and Robbin, J.W. (1996) Mathematical logic and computability. New York: The McGraw-Hill Companies, Inc.
Nissanke, Nimal (1999) Introductory logic and sets for computer scientists. Harlow: Addison-Wesley.
Raymond M. Smullyan (1981) What is the name of this book? Harmondsworth: Penguin.
Sedgewick, Robert (1992) Algorithms in C++. Reading, Mass: Addison-Wesley Pub. Co.
Sedgewick, Robert and Wayne, Kevin Daniel (2011) Algorithms. 4th ed. Upper Saddle River, NJ: Addison-Wesley. Available at: https://go.oreilly.com/university-college-london/library/view/-/9780132762564/?ar.
Smullyan, R.M. (1968) First-order logic. New York: Springer-Verlag.
Truss, J. K. (1999) Discrete mathematics for computer scientists. 2nd ed. Harlow: Addison-Wesley.
