BIBLIOGRAFIA Y REFERENCIAS
Boole, George, An Investigation of the Laws of Thought, Macmillan, London, 1854.
Carnap, Rudolf, The Logical Syntax of Language, Open Court Publishing, 2002.
Copi, Irving M., Lógica Simbólica, Editorial CECSA, 1992.
Gödel, Kurt Friedrich, “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I”, Monatshefte für Mathematik und Physik, volumen 38, 1931.
Grattan-Guinness, I., The Search for Mathematical Roots 1870-1940, Princeton University Press, 2000.
Kleene, Stephen Cole, Introduction to Metamathematics, North-Holland, 1962; reimpreso por Ishi Press 2009.
Britton, Jack R.; Kriegh, R. Ben; y Rutland, Leon W., University Mathematics (dos volúmenes), W. H. Freeman and Co., 1965.
Ladriere, Jean, Limitaciones internas de los formalismos, Tecnos, 1 de enero de 1969.
Lowe, V., Alfred North Whitehead: The Man and His Work, Volumen I: 1861-1910, Johns Hopkins University Press, Baltimore, 1985.
Martinez, Armando, Fundamentos de Lógica Digital, Blogger, 19 de noviembre de 2007.
Martinez, Armando, Geometrías no-Euclideanas, Blogger, 29 de septiembre de 2007.
Mostowski, Andrzej, “Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel”, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, 1952.
Northrop, Eugene P., Paradojas Matemáticas, Manuales Uteha, 1981.
Quine, Willard Van Orman, Methods of Logic, Henry Holt, 1960.
Rosser Jr., John Barkley, “An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem”, Journal of Symbolic Logic, volumen 4, 1939.
Shankar, N., Metamathematics, Machines and Gödel's Proof, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1994.
Turing, Alan, “Computing Machinery and Intelligence”, Mind, volumen 59, 1950.
Weyl, Hermann, Philosophy of Mathematics and Natural Science, Princeton University Press, 1949.
Whitehead, Alfred North; y Russell, Bertrand, Principia Mathematica (tres volúmenes), Cambridge University Press, Cambridge, Inglaterra,1910, 1912, 1913.
