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