LÓGICA MATEMÁTICA Y FUNDAMENTOS

El problema del continuo

El problema del continuo
¿La Hipótesis del continuo de Cantor es verdadera o falsa ?¿ Qué ha pasado con el problema del cardinal del continuo después de Gödel y Cohen ? Para enterarse se pueden leer los artículos del Prof J.A. Amor y del Prof. Carlos Di Prisco que aparecen en la biblioteca virtual de este blog. Hacer clic en la imagen y aparecerá la lista de artículos y libros de la biblioteca virtual.

domingo, 19 de diciembre de 2010

Algunos libros y artículos sobre Lògica Matemàtica

INTRODUCTORIOS:

(1) M.Manzano - A.Huertas. LÓGICA PARA PRINCIPIANTES. Alianza. 2004.
(2) M. Garrido. LOGICA SIMBOLICA. Tecnos.2001.
(3) I.Copi - C.Cohen. INTRODUCCIÓN A LA LÒGICA. Limusa. 2000.
(4) I. Copi. LOGICA SIMBOLICA. Compañia Editorial Continental,S.A. de C.V. 1998.
(5) A. Deaño. INTRODUCCIÒN A LA LÒGICA FORMAL. Alianza. 2004.
(6) P. Suppes. INTRODUCCIÓN A LA LÓGICA SIMBÓLICA. Compañía Editorial Continental. 1980.
(7) P. Suppes- S. Hill. INTRODUCCIÓN A LA LÓGICA MATEMÁTICA. Reverté.1988.

NO TAN INTRODUCTORIOS:

(1) C. Chang-H. Keisler. MODEL THEORY. North-Holland. 1992.
(2) M. Manzano. TEORIA DE MODELOS. Alianza. 1988.
(3) H. Ebbinghaus-J.Flum-W. Thomas. MATHEMATICAL LOGIC. Springer-Verlag. New York. 1983.
(4) E. Mendelson. INTRODUCTION TO MATHEMATICAL LOGIC. Chapman & Hall/CRC. 1997.
(5) H. Enderton. UNA INTRODUCCION MATEMATICA A LA LOGICA. Elseiver inc- UNAM.Mèxico 2004.
(6) 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)
(7) C. Di Prisco. INTRODUCCIÒN A LA LÒGICA MATEMÀTICA. Amalca Amazonia. 2009.
(8) A. Hamilton. LOGICA PARA MATEMATICOS.Paraninfo. 1981.
(9) J. Mosterìn. LOGICA DE PRIMER ORDEN.Editorial Ariel. 1983.
(10) http://plato.stanford.edu/search/searcher.py?page=10&query=logic
(11) Alonzo Church. INTRODUCTION TO MATHEMATICAL LOGIC. Princeton University Press, 1956.
(12) D. Hilbert y W. Ackermann. ELEMENTOS DE LÓGICA TEÓRICA. Tecnos. 1962.

UN TEXTO SOBRE HISTORIA DE LA LÓGICA:

EL DESARROLLO DE LA LÓGICA. William y Marha Kneale. Tecnos. 1980.

No hay comentarios:

Publicar un comentario en la entrada

Nota: solo los miembros de este blog pueden publicar comentarios.