Resumen de Lógica de primer orden
María Jesús Castel de Haro, Faraón Llorens Largo
Estos papeles que ahora tenéis en vuestras manos nacieron (1996) con la idea de servir de material de apoyo a las clases de la asignatura de "Lógica de Primer Orden", que se impartía en las Ingenierías Informáticas de la Universidad de Alicante.
Hoy día esta asignatura se denomina -Lógica Computacional-. En el curso 1997- 1998, esta publicación se adaptó para servir también de apoyo la asignatura -Lógica de Primer Orden- que desde entonces se imparte en los estudios de la Licenciatura de Matemáticas, en la Facultad de Ciencias de la Universidad de Alicante.
