- C-L. Chang and R.C-T. Lee. Symbolic Logic and Mechanical
Theorem Proving. 1973.
- J. Cuena. Lógica Informática. Tomo II: Lógica
Computacional. 1999/2000. (in Spanish)
- J.H. Gallier. Logic for Computer Science: Foundations of
Automatic Theorem Proving. 2003.
- M. Huth and M. Ryan. Logic in Computer Science: Modelling
and Reasoning about Systems. 2004.
- L. de Ledesma. Lógica para la computación. 2009.
(in Spanish)
- A. Leitsch. The Resolution Calculus. 1997.
- L. Paulson. Logic and Proof. 2007.
- A. Ramsay. Formal Methods in Artificial
Intelligence. 1989.
- J.A. Robinson. Computational Logic - Memories of the Past
and Challenges for the Future. 2000.
(paper)
- R.M. Smullyan. First-order logic. 1995.
- T. Tymoczko and J. Henle. Sweet Reason. 1995.
- Many Authors from UPC. Notas de Clase para IL.
2009. (in Spanish)