LIBROS BSICOS DE LGICA:

BADESA, C.; JAN, I. & JANSANA, R.: Elementos de lgica formal. Ariel, 1998.
BARBA, J.: Lgica, lgicas. Universidad de Valladolid, 2010.
BURRIEZA, A.; OJEDA, M.; PREZ DE GUZMN, I. & VALVERDE, A.: Lgica para la Computacin (I). Lgica
clsica
proposicional.
Universidad
de
Mlaga,
2013.
Recurso
electrnico:
http://www.matap.uma.es/profesor/guzman/web/Bienvenida_files/1-Logica-Clasica-Proposicional%20WEB.pdf.
BURRIEZA, A.; OJEDA, M.; PREZ DE GUZMN, I. & VALVERDE, A.: Lgica para la Computacin (II). Lgica
clsica
de
primer
orden.
Universidad
de
Mlaga,
2013.
Recurso
electrnico:
http://www.matap.uma.es/profesor/guzman/web/Bienvenida_files/2-Lib-Logica-predi-WEB.pdf.
DEAO, A.: Introduccin a la Lgica Formal. Alianza, 1999.
DEZ, J.A.: Iniciacin a la Lgica. Ariel, 2002.
FALGUERA, J.L. & MARTNEZ, C.: Lgica clsica de primer orden: estrategias de deduccin, formalizacin y
evaluacin semntica. Trotta, 1999.
GARRIDO, M.: Lgica Simblica. Tecnos, 2001.
JEFFREY, R.: Lgica Formal. Su alcance y sus lmites. Eunsa, 1986.
MANZANO, M. & HUERTAS, A.: Lgica para principiantes. Alianza, 2004.
NEPOMUCENO, A.: Curso prctico de Lgica. Kronos, 2002.
NEPOMUCENO, A.: El mtodo de las tablas semnticas. Kronos, 2003.

LIBROS CON EJERCICIOS BSICOS DE LGICA:

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

EXCLUSIVAMENTE DE LGICA PROPOSICIONAL:

MONTANER, P. y ARNAU, H.: Teora y prctica de la lgica proposicional. Vicens-Vives, 1997 (3. ed., 4.
reimpr.).
MONTANER, P. y ARNAU, H.: Teora y prctica de la lgica proposicional. Solucionario. Vicens-Vives, 1997
(2. ed., 1. reimpr.).
RODRGUEZ LOZANO, V.: Introduccin a la lgica simblica. Akal, 1985.
BURGOS, A.: Iniciacin a la lgica matemtica. Selecciones Cientficas, 1978.

DE LGICA PROPOSICIONAL Y LGICA DE PRIMER ORDEN:

PREZ SEDEO, E.: Ejercicios de lgica. Siglo XXI de Espaa, 1991.

GARCA TREVIJANO, C.: El arte de la lgica. Tecnos, 1999 (2. ed.).
CASTRILLO, P.: Ejercicios de Lgica. UNED, 1985.