Lógica
Untitled
Bibliografía
Libros de Texto
Logic and Structure.
Dirk van Dalen. Ed. Springer-Verlag.
LOGICA Foundation for Computer Science.
V. Sperschneider & G. Antoniou. Ed. Addison-Wesley. ISBN: 0-201-56514-5
U otros, similares o equivalentes, que se indiquen en el curso.