[1]
Ainsley Robert 1999. Bluff your way in Computers. Oval Books.
[2]
Cormen, T.H. et al. 2009. Introduction to algorithms. MIT Press.
[3]
Epp, Susanna S. 1995. Discrete mathematics with applications. Brooks/Cole.
[4]
Grossman, Peter 2009. Discrete mathematics for computing. Palgrave Macmillan.
[5]
Hodges, W. 1977. Logic. Penguin.
[6]
Jeffrey, R.C. 1967. Formal logic: its scope and limits. McGraw-Hill.
[7]
Johnsonbaugh, Richard and London Mathematical Society 2005. Discrete mathematics. Pearson Prentice Hall.
[8]
Keisler, H.J. and Robbin, J.W. 1996. Mathematical logic and computability. The McGraw-Hill Companies, Inc.
[9]
Nissanke, Nimal 1999. Introductory logic and sets for computer scientists. Addison-Wesley.
[10]
Raymond M. Smullyan 1981. What is the name of this book?. Penguin.
[11]
Sedgewick, Robert 1992. Algorithms in C++. Addison-Wesley Pub. Co.
[12]
Sedgewick, Robert and Wayne, Kevin Daniel 2011. Algorithms. Addison-Wesley.
[13]
Smullyan, R.M. 1968. First-order logic. Springer-Verlag.
[14]
Truss, J. K. 1999. Discrete mathematics for computer scientists. Addison-Wesley.
