L�gica matem�tica

Ir a la navegaci�nIr a la b�squeda
La l�gica matem�tica, tambi�n llamada l�gica simb�lica, l�gica teor�tica, l�gica
formal o log�stica,1? es el estudio formal y simb�lico de la l�gica, y su
aplicaci�n a algunas �reas de la matem�tica y la ciencia. Comprende la aplicaci�n
de las t�cnicas de la l�gica formal a la construcci�n y el desarrollo de las
matem�ticas y el razonamiento matem�tico, y conversamente la aplicaci�n de t�cnicas
matem�ticas a la representaci�n y el an�lisis de la l�gica formal. La investigaci�n
en l�gica matem�tica ha jugado un papel crucial en el estudio de los fundamentos de
las matem�ticas.

La l�gica matem�tica estudia la inferencia mediante la construcci�n de sistemas

formales como la l�gica proposicional, la l�gica de primer orden o la l�gica modal.
Estos sistemas capturan las caracter�sticas esenciales de las inferencias v�lidas
en los lenguajes naturales, pero al ser estructuras formales susceptibles de
an�lisis matem�tico, permiten realizar demostraciones rigurosas sobre ellas.

La l�gica matem�tica se suele dividir en cuatro �reas: teor�a de modelos, teor�a de

la demostraci�n, teor�a de conjuntos y teor�a de la computabilidad. La teor�a de la
demostraci�n y la teor�a de modelos fueron el fundamento de la l�gica matem�tica.
La teor�a de conjuntos se origin� en el estudio del infinito por Georg Cantor y ha
sido la fuente de muchos de los temas m�s desafiantes e importantes de la l�gica
matem�tica, a partir del teorema de Cantor, el axioma de elecci�n y la cuesti�n de
la independencia de la hip�tesis del continuo, al debate moderno sobre grandes
axiomas cardinales. La l�gica matem�tica tiene estrechas conexiones con las
ciencias de la computaci�n. La teor�a de la computabilidad captura la idea de la
computaci�n en t�rminos l�gicos y aritm�ticos. Sus logros m�s cl�sicos son la
indecidibilidad del Entscheidungsproblem de Alan Turing y su presentaci�n de la
tesis de Church-Turing. Hoy en d�a, la teor�a de la computabilidad se ocupa
principalmente del problema m�s refinado de las clases de complejidad (�cu�ndo es
un problema eficientemente solucionable?) y de la clasificaci�n de los grados de
insolubilidad.

La l�gica matem�tica tambi�n estudia las definiciones de nociones y objetos

matem�ticos b�sicos como conjuntos, n�meros, demostraciones y algoritmos. La l�gica
matem�tica estudia las reglas de deducci�n formales, las capacidades expresivas de
los diferentes lenguajes formales y las propiedades metal�gicas de los mismos.

En un nivel elemental, la l�gica proporciona reglas y t�cnicas para determinar si

es o no v�lido un argumento dado dentro de un determinado sistema formal. En un
nivel avanzado, la l�gica matem�tica se ocupa de la posibilidad de axiomatizar las
teor�as matem�ticas, de clasificar su capacidad expresiva, y desarrollar m�todos
computacionales �tiles en sistemas formales. La teor�a de la demostraci�n y la
matem�tica inversa son dos de los razonamientos m�s recientes de la l�gica
matem�tica abstracta. Debe se�alarse que la l�gica matem�tica se ocupa de sistemas
formales que pueden no ser equivalentes en todos sus aspectos, por lo que la l�gica
matem�tica no es un m�todo para descubrir verdades del mundo f�sico real, sino s�lo
una fuente posible de modelos l�gicos aplicables a teor�as cient�ficas, muy
especialmente a la matem�tica convencional.

Por otra parte, la l�gica matem�tica no estudia el concepto de razonamiento humano

general o el proceso creativo de construcci�n de demostraciones matem�ticas
mediante argumentos rigurosos pero con lenguaje informal con algunos signos o
diagramas, sino s�lo de demostraciones y razonamientos que se pueden formalizar por
completo.

�ndice
1 �reas
2 Sistemas formales
3 Metal�gica
4 Teor�a de modelos
5 Teor�a de la computabilidad
6 Teor�a de conjuntos
7 Teor�a de la demostraci�n
8 Historia
8.1 Siglo XIX
8.2 Siglo XX
9 V�ase tambi�n
10 Referencias
11 Bibliograf�a
12 Enlaces externos
�reas
La Mathematics Subject Classification divide la l�gica matem�tica en las siguientes
�reas:

Filos�fica y cr�tica
L�gica general (que incluye campos como la l�gica modal y la l�gica borrosa)
Teor�a de modelos
Teor�a de la computabilidad
Teor�a de conjuntos
Teor�a de la demostraci�n y matem�tica constructiva algebraica
Modelos no est�ndar
En algunos casos hay conjunci�n de intereses con la inform�tica te�rica, pues
muchos pioneros de la inform�tica, como Alan Turing, fueron matem�ticos y l�gicos.
As�, el estudio de la sem�ntica de los lenguajes de programaci�n procede de la
teor�a de modelos, as� como tambi�n la verificaci�n de programas y el caso
particular de la t�cnica del model checking. Tambi�n el isomorfismo de Churry-
Howard entre pruebas y programas se corresponde con la teor�a de pruebas, donde la
l�gica intuicionista y la l�gica lineal son especialmente significativas.

Algunos sistemas formales como el c�lculo lambda, y la l�gica combinatoria entre

otras han devenido en aut�nticos lenguajes de programaci�n, creando nuevos
paradigmas como son la programaci�n funcional y la programaci�n l�gica.

Sistemas formales
Lo que sigue proviene del art�culo Sistema formal
Un sistema formal o sistema l�gico es un sistema abstracto compuesto por un
lenguaje formal, axiomas, reglas de inferencia y a veces una sem�ntica formal, que
se utiliza para deducir o demostrar teoremas y dar una definici�n rigurosa del
concepto de demostraci�n. Un sistema formal es una formalizaci�n rigurosa y
completa del concepto de sistema axiom�tico, los cuales se pueden expresar en
lenguaje formal o en lenguaje natural formalizado. Al crear un sistema formal se
pretende capturar y abstraer la esencia de determinadas caracter�sticas del mundo
real, en un modelo conceptual expresado en un determinado lenguaje formal. Algunos
de los sistemas formales m�s conocidos son la l�gica proposicional, la l�gica de
primer orden y la l�gica modal.

En la teor�a de la demostraci�n, las demostraciones formales se pueden expresar en

el lenguaje de los sistemas formales, consistentes en axiomas y reglas de
inferencia. Los teoremas pueden ser obtenidos por medio de demostraciones formales.
Este punto de vista de las matem�ticas ha sido denominado formalista; aunque en
muchas ocasiones este t�rmino conlleva una acepci�n peyorativa. En ese sentido,
David Hilbert cre� la metamatem�tica para estudiar los sistemas formales,
entendiendo que el lenguaje utilizado para ello, denominado metalenguaje era
distinto del lenguaje del sistema formal que se pretend�a estudiar, al que se llama
lenguaje objeto.
Un sistema as� es la reducci�n de un lenguaje formalizado a meros s�mbolos,
lenguaje formalizado y simbolizado sin contenido material alguno; un lenguaje
reducido a mera forma que se expresa mediante f�rmulas que reflejan las relaciones
sint�cticas entre los s�mbolos y las reglas de formaci�n y transformaci�n que
permiten construir las f�rmulas del sistema y pasar de una f�rmula a otra.2?

Una teor�a axiom�tica es un conjunto de f�rmulas en un determinado lenguaje formal

y todas las f�rmulas deducibles de dichas expresiones mediante las reglas de
inferencia posibles en dicho sistema formal. El objetivo de las teor�as axiom�ticas
es construir sistemas formales que representen las caracter�sticas esenciales de
ramas enteras de las matem�ticas. Si se selecciona un conjunto m�s amplio o menos
amplio de axiomas el conjunto de teoremas deducibles cambian. El inter�s de la
teor�a de modelos es que en un modelo en que satisfagan los axiomas de determinada
teor�a tambi�n se satisfacen los teoremas deducibles de dicha teor�a. Es decir, si
un teorema es deducible en una cierta teor�a, entonces ese teorema es
universalmente v�lido en todos los modelos que satisfacen los axiomas. Esto es
interesante porque en principio la clase de modelos que satisface una cierta teor�a
es dif�cil de conocer, ya que las teor�as matem�ticas interesantes en general
admiten toda clase infinita de modelos no isomorfos, por lo que su clasificaci�n en
general resulta dif�cilmente abordable si no existe un sistema formal y un conjunto
de axiomas que caracterice los diferentes tipos de modelos.

En el siglo XX, Hilbert y otros sostuvieron que la matem�tica es un sistema formal.

Pero en 1931, Kurt G�del demostr� que ning�n sistema formal con suficiente poder
expresivo para capturar la aritm�tica de Peano puede ser a la vez consistente y
completo. El teorema de la incompletitud de G�del, junto con la demostraci�n de
Alonzo Church de que la matem�tica tampoco es decidible, termin� con el programa de
Hilbert. Sin embargo, a pesar de sus limitaciones, el enfoque sigue siendo
ampliamente usado, b�sicamente porque no se ha encontrado ninguna alternativa mejor
al enfoque formalista de Hilbert y la pretensi�n de trabajar en el seno de teor�as
matem�ticas expl�citamente axiomatizadas, aun con sus limitaciones.

Los sistemas formales tambi�n han encontrado aplicaci�n dentro de la inform�tica,

la teor�a de la informaci�n y la estad�stica.
Metal�gica
Lo que sigue proviene del art�culo Metal�gica
La metal�gica es la rama de la l�gica que estudia las propiedades y los componentes
de los sistemas formales.3? Las propiedades m�s importantes que se pueden demostrar
de los sistemas formales son la consistencia, decidibilidad y completitud.4?
Ejemplos de teoremas metal�gicos importantes son los teoremas de incompletitud de
G�del, el teorema de completitud de G�del y el teorema de L�wenheim-Skolem. Otra
propiedad es la compacidad.
Teor�a de modelos
Lo que sigue proviene del art�culo Teor�a de modelos
En matem�tica, teor�a de modelos es el estudio de (clases de) estructuras
matem�ticas tales como grupos, cuerpos, grafos, o incluso universos de teor�a de
conjuntos, en relaci�n con las teor�as axiom�ticas y la l�gica matem�tica. La
teor�a de modelos permite atribuir una interpretaci�n sem�ntica a las expresiones
puramente formales de los lenguajes formales. Adem�s permite estudiar en s� mismos
los conjuntos de axiomas, su completitud, consistencia, independencia mutua, y
permiten introducir un importante n�mero de cuestiones metal�gicas.
Al mismo tiempo los lenguajes en los que se ha estructurado la noci�n de verdad y
de los que habla la teor�a de modelos son, por lo general, sistemas matem�ticos.
Las �cosas� representadas en dichos lenguajes son tambi�n sistemas matem�ticos. Por
esto, la teor�a de modelos es una teor�a sem�ntica que pone en relaci�n unos
sistemas matem�ticos con otros sistemas matem�ticos. Dicha teor�a nos proporciona
algunas pistas con respecto a aquella sem�ntica que pone en relaci�n los lenguajes
naturales con la realidad. Sin embargo, ha de tenerse siempre presente que no hay
ning�n sustituto matem�tico para los problemas genuinamente filos�ficos. Y el
problema de la verdad es un problema netamente filos�fico.

Padilla Galvez, Jes�s Padilla G�lvez (2007). Verdad y demostraci�n. Universidad de

Castilla-La Mancha. p. 229. ISBN 9788496780194. OCLC 427520428. Consultado el 28 de
febrero de 2019.
Teor�a de la computabilidad
Lo que sigue proviene del art�culo Teor�a de la computabilidad

VEB Robotron Elektronik Dresden.

La teor�a de la computabilidad es la parte de la computaci�n que estudia los
problemas de decisi�n que se pueden resolver con un algoritmo o equivalentemente
con una m�quina de Turing. Las preguntas fundamentales de la teor�a de la
computabilidad son:

�Qu� problemas puede resolver una m�quina de Turing?

�Qu� otros formalismos equivalen a las m�quinas de Turing?
�Qu� problemas requieren m�quinas m�s poderosas?
�Qu� problemas requieren m�quinas menos poderosas?
La teor�a de la complejidad computacional clasifica las funciones computables seg�n
el uso que hacen de diversos recursos en diversos tipos de m�quina.
Teor�a de conjuntos
Lo que sigue proviene del art�culo Teor�a de conjuntos

Un diagrama de Venn que ilustra la intersecci�n de dos conjuntos.

La teor�a de conjuntos es una rama de la l�gica matem�tica que estudia las
propiedades y relaciones de los conjuntos: colecciones abstractas de objetos,
consideradas como objetos en s� mismas. Los conjuntos y sus operaciones m�s
elementales son una herramienta b�sica en la formulaci�n de cualquier teor�a
matem�tica.5?

La teor�a de los conjuntos es lo suficientemente rica como para construir el resto

de objetos y estructuras de inter�s en matem�ticas: n�meros, funciones, figuras
geom�tricas,...; gracias a las herramientas de la l�gica, permite estudiar los
fundamentos. En la actualidad se acepta que el conjunto de axiomas de la teor�a de
Zermelo-Fraenkel es suficiente para desarrollar toda la matem�tica.

Adem�s, la propia teor�a de conjuntos es objeto de estudio per se, no s�lo como
herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos
infinitos. En esta disciplina es habitual que se presenten casos de propiedades
indemostrables o contradictorias, como la hip�tesis del continuo o la existencia de
un cardinal inaccesible. Por esta raz�n, sus razonamientos y t�cnicas se apoyan en
gran medida en la l�gica.

El desarrollo hist�rico de la teor�a de conjuntos se atribuye a Georg Cantor, que

comenz� a investigar cuestiones conjuntistas �puras� del infinito en la segunda
mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e influido por
Richard Dedekind. El descubrimiento de las paradojas de la teor�a cantoriana de
conjuntos, formalizada por Gottlob Frege, propici� los trabajos de Bertrand
Russell, Ernst Zermelo, Abraham Fraenkel
Teor�a de la demostraci�n
Lo que sigue proviene del art�culo Teor�a de la demostraci�n
La teor�a de la demostraci�n o teor�a de la prueba es una rama de la l�gica
matem�tica que trata a las demostraciones como objetos matem�ticos, facilitando su
an�lisis mediante t�cnicas matem�ticas. Las demostraciones suelen presentarse como
estructuras de datos inductivamente definidas que se construyen de acuerdo con los
axiomas y reglas de inferencia de los sistemas l�gicos. En este sentido, la teor�a
de la demostraci�n se ocupa de la sintaxis, en contraste con la teor�a de modelos,
que trata con la sem�ntica. Junto con la teor�a de modelos, la teor�a de conjuntos
axiom�tica y la teor�a de la computabilidad, la teor�a de la demostraci�n es uno de
los �cuatro pilares� de los fundamentos de las matem�ticas.[cita requerida]
Historia
El uso m�s temprano de matem�ticas y de geometr�a en relaci�n con la l�gica y la
filosof�a se remonta a los griegos antiguos tales como Euclides, Plat�n, y
Arist�teles. Muchos otros fil�sofos antiguos y medievales aplicaron ideas y m�todos
matem�ticos a sus afirmaciones filos�ficas.

En el siglo XVIII se hicieron algunos intentos de tratar las operaciones l�gicas

formales de una manera simb�lica por parte de algunos fil�sofos matem�ticos como
Lambert, pero su labor permaneci� desconocida y aislada. Tambi�n por parte de
Leibniz ) que desarroll� la idea de un calculus ratiocinator, un sistema de reglas
para simplificar oraciones compuestas.

Siglo XIX
A partir de la segunda mitad del siglo XIX, la l�gica ser�a revolucionada
profundamente. En 1847, George Boole public� un breve tratado titulado El an�lisis
matem�tico de la l�gica, y en 1854 otro m�s importante titulado Las leyes del
pensamiento. La idea de Boole fue construir a la l�gica como un c�lculo en el que
los valores de verdad se representan mediante el F (falsedad) y la V (verdad), y a
los que se les aplican operaciones matem�ticas como la suma y la multiplicaci�n.

En el �ltimo tercio del siglo XIX la l�gica va a encontrar su transformaci�n m�s

profunda de la mano de las investigaciones matem�ticas y l�gicas, junto con el
desarrollo de la investigaci�n de las estructuras profundas del lenguaje, la
ling��stica, convirti�ndose definitivamente en una ciencia formal. Es una ciencia
formal, ya que estudia las ideas y constituye una herramienta conceptual para todas
las otras ciencias y �reas del conocimiento. y forma parte de un conjunto
sistem�tico de conocimientos racionales y coherentes, que se ocupan del estudio de
los procesos l�gicos y matem�ticos,

Al mismo tiempo, Augustus De Morgan publica en 1847 su obra L�gica formal, donde
introduce las leyes de De Morgan e intenta generalizar la noci�n de silogismo. Otro
importante contribuyente ingl�s fue John Venn, quien en 1881 public� su libro
L�gica Simb�lica, donde introdujo los famosos diagramas de Venn.

Charles Sanders Peirce y Ernst Schr�der tambi�n hicieron importantes

contribuciones.

Sin embargo, la verdadera revoluci�n de la l�gica vino de la mano de Gottlob Frege,

quien frecuentemente es considerado como el l�gico m�s importante de la historia,
junto con Arist�teles. En su trabajo de 1879, la Conceptograf�a, Frege ofrece por
primera vez un sistema completo de l�gica de predicados y c�lculo proposicional.
Tambi�n desarrolla la idea de un lenguaje formal y define la noci�n de prueba.
Estas ideas constituyeron una base te�rica fundamental para el desarrollo de las
computadoras y las ciencias de la computaci�n, entre otras cosas. Pese a esto, los
contempor�neos de Frege pasaron por alto sus contribuciones, probablemente a causa
de la complicada notaci�n que desarroll� el autor. En 1893 y 1903, Frege publica en
dos vol�menes Las leyes de la aritm�tica, donde intenta deducir toda la matem�tica
a partir de la l�gica, en lo que se conoce como el proyecto logicista. Su sistema y
su aplicaci�n a la teor�a de conjuntos, sin embargo, conten�a una contradicci�n (la
paradoja de Russell).

L�gica matem�tica fue el nombre dado por Giuseppe Peano para esta disciplina. En
esencia, es la l�gica de Arist�teles, pero desde el punto de vista de una nueva
notaci�n, m�s abstracta, tomada del �lgebra.

Siglo XX
En el siglo XX hubo uno de los enormes desarrollos en l�gica. A partir del siglo
XX, la l�gica pas� a estudiarse por su inter�s intr�nseco, y no s�lo por sus
virtudes como proped�utica, por lo que se estudi� a niveles mucho m�s abstractos.

En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica,

un trabajo monumental en el que logran gran parte de la matem�tica a partir de la
l�gica, evitando caer en las paradojas en las que cay� Frege. Se supon�a que las
teor�as matem�ticas eran tautolog�as l�gicas, y el programa deb�a mostrar esto por
medio de una reducci�n de la matem�tica a la l�gica. Los autores reconocen el
m�rito de Frege en el prefacio. En contraste con el trabajo de Frege, Principia
mathematica tuvo un �xito rotundo, y lleg� a considerarse uno de los trabajos de no
ficci�n m�s importantes e influyentes de todo el siglo XX. Principia mathematica
utiliza una notaci�n inspirada en la de Giuseppe Peano, parte de la cual todav�a es
muy utilizada hoy en d�a.

En 1912 C. I. Lewis publica Conditionals and the Algebra of Logic, justo despu�s de
los Principia Mathematica de Russell y Whitehead. En 1918 publica A Survey of
Symbolic Logic en donde propone un nuevo condicional m�s adecuado para recoger el
significado de la expresi�n �si... entonces� del lenguaje natural. Lewis lo llama
implicaci�n estricta. El nuevo condicional requiere, para ser verdadero, una
relaci�n m�s fuerte entre el antecedente y el consecuente que el condicional
cl�sico.

En 1920 David Hilbert propuso de forma expl�cita un proyecto de investigaci�n (en

metamatem�tica, como se llam� entonces) que acab� siendo conocido como programa de
Hilbert. Quer�a que la matem�tica fuese formulada sobre unas bases s�lidas y
completamente l�gicas. El proyecto fue refutado por los por los teoremas de
incompletitud de G�del. Tanto la declaraci�n del programa de Hilbert como su
refutaci�n por G�del depend�an de su trabajo estableciendo el segundo �mbito de la
l�gica matem�tica, la aplicaci�n de las matem�ticas a la l�gica en la forma de la
teor�a de la demostraci�n. A pesar de la naturaleza negativa de los teoremas de la
incompletitud, el teorema de la complejidad de G�del, un resultado en la teor�a de
modelos y otra aplicaci�n de las matem�ticas a la l�gica, puede ser entendido como
una demostraci�n del logismo cercano: toda teor�a matem�tica rigurosamente definida
puede ser capturada exactamente por una teor�a de primer orden. El c�lculo de la
prueba de Frege es suficiente para describir toda la matem�tica, aunque no sea
equivalente a ella.

El origen de los modelos abstractos de computaci�n se encuadra en los a�os 1930

(antes de que existieran los ordenadores modernos), en el trabajo de los l�gicos
Alonzo Church, Kurt G�del, Stephen Kleene, Emil Leon Post, Haskell Curry y Alan
Turing. Estos trabajos iniciales han tenido una profunda influencia, tanto en el
desarrollo te�rico como en abundantes aspectos de la pr�ctica de la computaci�n;
previendo incluso la existencia de ordenadores de prop�sito general, la posibilidad
de interpretar programas, la dualidad entre software y hardware, y la
representaci�n de lenguajes por estructuras formales basados en reglas de
producci�n.

La deducci�n natural fue introducida por Gerhard Gentzen en su trabajo

Investigaciones sobre la inferencia l�gica (Untersuchungen �ber das logische
Schliessen), publicado en 1934-1935.

En los a�os 1940 Alfred Tarski comenz� a desarrollar junto a sus disc�pulos el
�lgebra relacional, en la que pueden expresarse tanto la teor�a axiom�tica de
conjuntos como la aritm�tica de Peano. Tambi�n desarroll� junto a sus disc�pulos
las �lgebras cil�ndricas, que son a la l�gica de primer orden lo que el �lgebra
booleana a la l�gica proposicional. En 1941 public� en ingl�s uno de los manuales
de l�gica m�s acreditados, Introduction to Logic and to the Methodology of
Deductive Sciences.

Noam Chomsky en 1956 propone una clasificaci�n jer�rquica de distintos tipos de

gram�ticas formales que generan lenguajes formales llamada jerarqu�a de Chomsky.

Si bien a la luz de los sistemas contempor�neos la l�gica aristot�lica puede

parecer equivocada e incompleta, Jan Lukasiewicz mostr� que, a pesar de sus grandes
dificultades, la l�gica aristot�lica era consistente, si bien hab�a que
interpretarse como l�gica de clases, lo cual no es peque�a modificaci�n. Por ello
la silog�stica pr�cticamente no tiene uso actualmente.

Adem�s de la l�gica proposicional y la l�gica de predicados, el siglo XX vio el

desarrollo de muchos otros sistemas formales; entre los que destacan las muchas
l�gicas modales.

V�ase tambi�n
Noci�n primitiva
Funci�n indicatriz
Retroalimentacion
Cibern�tica
Teor�a de sistemas
Emergencia (filosof�a)
Pensamiento sist�mico
Din�mica de sistemas
Sistema complejo
Sistema din�mico
Referencias
Evandro Agazzi, 1986.
Encyclop�dia Britannica, Formal system definition, 2007.
Shapiro, Stewart. �metal�gica�. The Oxford Companion to Philosophy. Oxford
University Press. Consultado el 6 de octubre de 2009.
Jes�s Padilla G�lvez, Jes�s. (1995). Sobre metal�gica. Un an�lisis hist�rico en
torno a 1931. Arbor, 150, pp. 73-90.
V�ase Devlin, Keith (2005). �3.1. Sets�. Sets, functions and logic (en ingl�s).
ISBN 1-58488-449-5. o Lipschutz, Seymour (1991). �Pr�logo�. Teor�a de conjuntos y
temas afines. McGraw-Hill. ISBN 968-422-926-7.
Bibliograf�a
Agazzi, Evandro (1986). L�gica simb�lica. Herder. ISBN 9788425401305.
Enderton, Herbert (2001). A mathematical introduction to logic (2nd edici�n).
Boston, MA: Academic Press. ISBN 978-0-12-238452-3.
Hamilton, A. G. (1988), Logic for Mathematicians (2nd edici�n), Cambridge:
Cambridge University Press, ISBN 978-0-521-36865-0.
Ebbinghaus, H.-D.; Flum, J.; Thomas, W. (1994), Mathematical Logic (2nd edici�n),
Nueva York: Springer, ISBN 0-387-94258-0
Enlaces externos
Wikiversidad alberga proyectos de aprendizaje sobre L�gica matem�tica.