| Título | Autor | Lugar | Edicíon |
|---|---|---|---|
| Logic for mathematicians | Hamilton, A. G. | Cambridge | Rev. ed., repr. (2000) |
| Lógica para matemáticos | Hamilton, A. G. | Madrid | (1981) |
| Logic in computer science | Huth, Michael | Inglaterra | 2nd ed. (2004) |
| Introduction to mathematical logic | Mendelson, Elliott | Boca Raton | 5th ed. (c2010) |
| Artificial Intelligence | Russell, Stuart J. | Nueva Jersey | 3rd ed. (2010) |