A disciplina segue fundamentalmente o seguinte livro de texto:

• Language Proof and Logic (2nd edition). Dave Barker-Plummer, Jon Barwise and John Etchemendy. CSLI Publications, 2011.

  Existem outros livros de referência, com uma abordagem mais formal que podem ser consultados.

• Mathematical Logic: a course with exercises. Part I: propositional calculus, Boolean algebras, predicate calculus. René Cori e Daniel Lascar. Oxford Press, 2007.
• A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Shawn Hedman. Oxford Texts in Logic, 2004.
• Logic in Computer Science: modelling and reasoning about systems (2nd edition). Michael Huth and Mark Ryan. Cambridge University Press, 2004.