BB	Badesa, Calixto. Elementos de lógica formal / Calixto Badesa, Ignacio Jané , Ramón Jansana . 1ª ed., 2ª reimp. Barcelona : Ariel, 2003
BB	Boolos, George. Computability and logic / George Boolos, Richard Jeffrey London : Cambridge University Press, 1974
BB	[Comentario del prof.: ]
BB	Deaño, Alfredo. Introducción a la lógica formal / Alfredo Deaño . 1a. ed. en Manuales, 4a. reimp. Madrid : Alianza, 2004
BB	Deaño, Alfredo. Las concepciones de la lógica / Alfredo Deaño ; edición al cuidado de Javier Muguerza y Carlos Solís . Madrid : Taurus, D.L. 1980
BB	Díez, José A.. Iniciación a la lógica / José A. Díez . Barcelona : Ariel, 2002
BB	Falguera López, José L.. Lógica clásica de primer orden, estrategias de deducción, formalización y evaluación semántica / José L. Falguera López, Concepción Martínez Vidal . Madrid : Trotta, D.L. 1999
BB	García Trevijano, Carmen. El arte de la lógica / Carmen García Trevijano . Madrid : Tecnos, 1993
BB	Garrido, Manuel. Lógica simbólica / Manuel Garrido . 3a. ed. Madrid : Tecnos, 1995
BB	Haack, Susan. Filosofía de las lógicas / Susan Haack . Madrid : Cátedra, D.L. 1982
BB	Hermes, Hans. Introducción a la teoría de la computabilidad : algoritmos y máquinas / Hans Hermes . Madrid : Tecnos, 1984
BB	Hughes, G.E.. Introducción a la lógica modal / G.E. Hughes ,M.J. Cresswell . Madrid : Tecnos, 1973
BB	Jansana, R.. Una introducción a la lógica modal / R. Jansana . Madrid : Tecnos, 1990
BB	Lecturas de lógica / selección, traducción y notas de Luís Vega . 2a. ed. Madrid : UNED, Facultad de Filosofía y Letras, 1986
BB	Liz Gutiérrez, Antonio Manuel. Teoría intuitiva de conjuntos y lógica clásica de proposiciones : [ejercicios] / Manuel Liz, Margarita Vázquez. [La Laguna] : Universidad de La Laguna, Secretariado de Publicaciones, D.L. 1990
BB	Liz, M.. Teoría intuitiva de conjuntos y lógica clásica de preposiciones / M. Liz, M. Vázquez La Laguna : Secretariado de Publicaciones de la Universidad de La Laguna, 1990
BB	Lógica / edición a cargo de Carlos E. Alchourrón, José M. Méndez, Raúl Orayen . 1ª reimp. Madrid : Trotta [etc.], 2005
BB	Logica y lenguaje / editor, Manuel Garrido ; L.M. Valdés...[ et al.] . Madrid : Tecnos, 1989
BB	Mosterín, Jesús. Lógica de primer orden / Jesús Mosterín Barcelona : Ariel, 1970
BB	Mosterín, Jesús. Los lógicos / Jesús Mosterín ; prólogo Roberto Torretti . Madrid : Espasa-Calpe, D.L. 2007
BB	NAGEL, E.; NEWMAN, J. R. El teorema de Gödel. 1ª ed. Reimp. [s. l.]: Tecnos, 1979. ISBN 8430908218.
BB	Ojeda, T.. Ejercicios de lógica / T. Ojeda, M. Ponte, M. Vázquez La Laguna : Arte, 2004
BB	Peña, Lorenzo. Introducción a las lógicas no clásicas / Lorenzo Peña . México : Universidad Nacional Autónoma, 1993
BB	Pérez Sedeño, Eulalia. Ejercicios de lógica / Eulalia Pérez Sedeño . 1ª ed., 1ª reimp. Madrid : Siglo XXI de España Editores, 2007
BB	Quesada, Daniel. La lógica y su filosofía : introducción a la lógica / Daniel Quesada . [1a ed.] Barcelona : Barcanova, 1985
BB	Zalabardo, José Luis. Introducción a la teoría de la lógica / José Luis Zalabardo ; versión castellana de José Luis Zalabardo . Madrid : Alianza, 2002