 |
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
|
