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