0.03 Algunas ligas de la bibliografía.

 BIBLIOGRAFIA BÁSICA:

1                    MENDELSON, E.; “Introduction to Mathematical Logic”, Ed. Pacific Grove, Wadsworth Books, Tercera Edición, 1987, California.

2                    ENDERTON, H.; “A Mathematical Introduction to Logic”, Ed. Academic Press, 1972, Boston. También en español, “Una Introducción Matemática a la Lógica”, 2a. Ed. Instituto de Investigaciones Filosóficas, UNAM., 2004, México.

6                       NAGEL, E. & NEWMAN, J.R.; “Teorema de Gödel”, Madrid: Ed. Tecnos y CONACYT.

7                       SMITH, P.; “An Introduction to Gödel’s Theorems”. Ed. Cambridge University Press. 2007.

BIBLIOGRAFIA COMPLEMENTARIA:

8          GÖDEL, K.; “On formally undecidable propositions of Principia Mathematica and related systems”,reproducido en Van Heijenoort.

9                HEIJENOORT, J. VAN, (Editor); “From Frege to Gödel: A source book in Mathematical Logic 1874-1931”, Cambridge, Massachusetts: Ed. Harvard U. P., 1947.

10                      TORRES, C.; “Los teoremas de Gödel”, México: Tesis de maestría UNAM, 1988.

11                  TARSKI, A.; “Undecidable Theories”. Amsterdam: North-Holland Pub. Co., 1953 o reedición 1971. También en Dover, Studies in Logic and Foundatio of Mathematics, 2010.

12                       KLEENE, S. C.; “Introduction to Metamathematics”, Amsterdam: Ed. North-Holland, 1952.

13                       LADRIERE, J.; “Limitaciones internas de los formalismos”, Madrid: Ed. Tecnos, 1969.

KÖNER, S.; “Introducción a la filosofía de las Matemáticos”, México: Ed. Siglo XXI, 1960.