LIBROS BÁSICOS DE LÓGICA:

BADESA, C.; JANÉ, I. & JANSANA, R.: Elementos de lógica formal. Ariel, 1998.

BARBA, J.: Lógica, lógicas. Universidad de Valladolid, 2010.

BURRIEZA, A.; OJEDA, M.; PÉREZ DE GUZMÁN, I. & VALVERDE, A.: Lógica para la Computación (I). Lógica

clásica proposicional. Universidad de Málaga, 2013. Recurso electrónico:

http://www.matap.uma.es/profesor/guzman/web/Bienvenida_files/1-Logica-Clasica-Proposicional%20-

WEB.pdf.

BURRIEZA, A.; OJEDA, M.; PÉREZ DE GUZMÁN, I. & VALVERDE, A.: Lógica para la Computación (II). Lógica

clásica de primer orden. Universidad de Málaga, 2013. Recurso electrónico:

http://www.matap.uma.es/profesor/guzman/web/Bienvenida_files/2-Lib-Logica-predi-WEB.pdf.

DEAÑO, A.: Introducción a la Lógica Formal. Alianza, 1999.

DÍEZ, J.A.: Iniciación a la Lógica. Ariel, 2002.

FALGUERA, J.L. & MARTÍNEZ, C.: Lógica clásica de primer orden: estrategias de deducción, formalización y

evaluación semántica. Trotta, 1999.

GARRIDO, M.: Lógica Simbólica. Tecnos, 2001.

JEFFREY, R.: Lógica Formal. Su alcance y sus límites. Eunsa, 1986.

MANZANO, M. & HUERTAS, A.: Lógica para principiantes. Alianza, 2004.

NEPOMUCENO, A.: Curso práctico de Lógica. Kronos, 2002.

NEPOMUCENO, A.: El método de las tablas semánticas. Kronos, 2003.

LIBROS CON EJERCICIOS BÁSICOS DE LÓGICA:

[Todos salvo el último indicado, contienen ejercicios resueltos.]

� EXCLUSIVAMENTE DE LÓGICA PROPOSICIONAL:

MONTANER, P. y ARNAU, H.: Teoría y práctica de la lógica proposicional. Vicens-Vives, 1997 (3.ª ed., 4.ª

reimpr.).

MONTANER, P. y ARNAU, H.: Teoría y práctica de la lógica proposicional. Solucionario. Vicens-Vives, 1997

(2.ª ed., 1.ª reimpr.).

RODRÍGUEZ LOZANO, V.: Introducción a la lógica simbólica. Akal, 1985.

BURGOS, A.: Iniciación a la lógica matemática. Selecciones Científicas, 1978.

� DE LÓGICA PROPOSICIONAL Y LÓGICA DE PRIMER ORDEN:

PÉREZ SEDEÑO, E.: Ejercicios de lógica. Siglo XXI de España, 1991.

GARCÍA TREVIJANO, C.: El arte de la lógica. Tecnos, 1999 (2.ª ed.).

CASTRILLO, P.: Ejercicios de Lógica. UNED, 1985.