Lógica de primer orden
Editorial: Departamento de Tecnología Informática y Computación ; Universidad de Alicante / Universitat d'Alacant
ISBN: 84-605-4766-3, 84-922775-5-6
Año de publicación: 1996
Tipo: Libro
Resumen
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.