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, R. & London Mathematical Society. (2005). Discrete mathematics (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, R., & Wayne, K. D. (2011). Algorithms (4th ed). Addison-Wesley.
Sedgewick, Robert. (1992). Algorithms in C++. Addison-Wesley Pub. Co.
Smullyan, R. M. (1968). First-order logic: Vol. Band 43. Springer-Verlag. https://ebookcentral.proquest.com/lib/UCL/detail.action?docID=3098371&pq-origsite=primo
Truss, J. K. (1999). Discrete mathematics for computer scientists (2nd ed). Addison-Wesley.