(1) C. Di Prisco. INTRODUCCIÓN A LA LÓGICA MATEMÁTICA. Amalca Amazonia. 2009.
(2) E. Mendelson. INTRODUCTION TO MATHEMATICAL LOGIC. Chapman & Hall/CRC. 1997.
(3) H. Enderton. UNA INTRODUCCION MATEMÁTICA A LA LÓGICA. Elseiver inc- UNAM.Mèxico 2004.
(4) A. Nerode-R.Shore. LOGIC FOR APPLICATIONS. Springer-Verlag. 1993. (Vale la pena resaltar que este texto tiene en la parte final una extensa bibliografía sobre diversos tópicos lógica matemática).
(5) A. Hamilton. LOGICA PARA MATEMATICOS.Paraninfo. 1981.
(6) J. Mosterín. LÓGICA DE PRIMER ORDEN. Editorial Ariel. 1983.
(7) http://plato.stanford.edu/search/searcher.py?page=10&query=logic .
(8) H. Ebbinghaus-J.Flum-W. Thomas. MATHEMATICAL LOGIC. Springer-Verlag. New York. 1983.
(9) Alonzo Church. INTRODUCTION TO MATHEMATICAL LOGIC. Princeton University Press, 1956.
(10) D. Hilbert y W. Ackermann. ELEMENTOS DE LÓGICA TEÓRICA. Tecnos. 1962.
(11) S. Kleene. INTRODUCCIÓN A LA METAMATEMÁTICA. Tecnos. 1974.
(12) C. Ivorra. LÓGICA Y TEORÍA DE CONJUNTOS. PDF en internet.
(13) C. Ivorra. LÓGICA MATEMÁTICA. PDF en internet.
(14) R. Grimaldi. MATEMÁTICAS DISCRETA Y COMBINATORIA. UNA INTRODUCCIÓN CON APLICACIONES. Addison Wesley Longman de México, S.A. de C.V. . 1998.
(15) M. Manzano. TEORÍA DE MODELOS. Alianza. 1988.
(16) C. Chang-H. Keisler. MODEL THEORY. North-Holland. 1992.
(17) G., Hughes-M., Cresswell. INTRODUCCIÓN A LA LÓGICA MODAL. Tecnos. 1973.
HISTORIA DE LA LÓGICA:
(17) EL DESARROLLO DE LA LÓGICA. William y Marha Kneale. Tecnos. 1980.
(18) LOS LÓGICOS. J., Mosterín. Espasa. 2000.
(19) LÓGICA. Editores Carlos E. Alchourrón, Raúl Orayen, José M Menéndez. Tomo de la Enciclopedia Iberoamericana de Filosofía. Trotta. 2005.
FILOSOFÍA DE LA LÓGICA:
(20) FILOSOFÍA DE LAS LÓGICAS. Susan Haack. Cátedra. 1982.
(21) FILOSOFÍA DE LA LÓGICA. Editores Rául Orayen y Alberto Moreti. Tomo de la Enciclopedia Iberoamerina de Filosofía. Trotta. 2005.
(22) FILOSOFÍA DE LA LÓGICA. Quine. Alianza. 1998. (Nota: Hay otros libros o artículos importantes de Quine sobre Lógica matemática, filosofía de la Lógica o filosofía de la matemática, ver la biblioteca digital de este blog y la web).
(23) LA FRONTERA ENTRE LÓGICA Y TEORÍA DE CONJUNTOS. Jesús Mosterín (Universidad de Barcelona, España). 1987.
DICCIONARIO:
(24) DICCIONARIO DE LÓGICA Y FILOSOFÍA DE LA CIENCIA. J., Mosterín y R., Torretti. Alianza. 2002.
Nota: (a) Algunos de los textos mencionados pueden encontrarse en la biblioteca digital de este blog y se pueden bajar, y (b) En varias entradas de este blog pueden encontrarse otras referencias a libros o artículos sobre Lógica Matemática, por ejemplo hay varias entradas con bibliografía sobre teoría de conjuntos.