Lógica de primer orden

Autores: María Jesús Castel de Haro , Faraón Llorens Largo
Editores: Universidad de Alicante / Universitat d'Alacant, Departamento de Tecnología Informática y Computación
Año de publicación: 2005
Edición: 3ª
País: España
Idioma: español
Otras ediciones del libro:
- 2ª Edición, Año 1999. ISBN 84-922775-5-6
- 1ª Edición, Año 1996. ISBN 84-605-4766-3
Enlaces
- Texto Completo Libro

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.