Ainsley Robert. 1999. Bluff Your Way in Computers. London: Oval Books.
Cormen, Thomas H., Charles Eric Leiserson, Ronald L. Rivest, and Clifford Stein. 2009. Introduction to Algorithms. Third edition. Cambridge, Massachusetts: MIT Press.
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, Wilfrid. 1977. Logic. Harmondsworth: Penguin.
Jeffrey, Richard C. 1967. Formal Logic: Its Scope and Limits. McGraw-Hill.
Johnsonbaugh, Richard and London Mathematical Society. 2005. Discrete Mathematics. Vol. The JK computer science and mathematics series. 6th ed. Upper Saddle River, N.J.: Pearson Prentice Hall.
Keisler, H. Jerome, and Joel W. Robbin. 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.
Smullyan, Raymond M. 1968. First-Order Logic. Vol. Ergebnisse der Mathematik und ihrer Grenzgebiete. New York: Springer-Verlag.
Truss, J. K. 1999. Discrete Mathematics for Computer Scientists. 2nd ed. Harlow: Addison-Wesley.
