|
== Bibliografía ==
*{{cita llibrollibru|títulu=Handbook of mathematical logic|apellíos=Barwise|nome=Jon|editorial=Elsevier|añu=1989|isbn=9780444863881|idioma=inglés}}
*{{cita llibrollibru|títulu=Computability and logic|idioma=inglés|nombre=George|apellíos=Boolos|nome2=John P.|apellíos2=Burgess|nome3=Richard C.|apellíos3=Jeffrey|editorial=[[Cambridge University Press]]|añu=2007|isbn=9780521701464}}.
*{{cita llibrollibru|nome=Norbert|apellíos=Domeisen|títulu=Logik der Antinomien|editor=Peter Lang|añu=1990|isbn=3-261-04214-1|url=http://www.emis.de/cgi-bin/zmen/ZMATH/en/quick.html?nome=1&maxdocs=3&type=html&an=0724.03003&formatu=complete Zentralblatt MATH|idioma=alemán}}
* {{cita publicación|nome=Kurt|apellíos=Gödel|títulu=Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I|doi=10.1007/BF01700692|publicación=Monatshefte für Mathematik und Physik|volume=38|añu=1931|páxines=173-198|idioma=alemán}}
:Traducíu al castellán en:
*{{cita llibrollibru|nome=Kurt|apellíos=Gödel|títulu=Obres completes|máscaraautor=3|editor=Jesús Mosterín|editorial=Alianza Editorial|añu=1981|isbn=84-206-2286-9}}
*{{cita llibrollibru|nome=Kurt|apellíos=Gödel|máscaraautor=3|títulu=Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemes allegaos|editorial=KRK Ediciones|año=2006|isbn=978-84-96476-95-0}}
*{{cita llibrollibru|apellíos=Hofstadter|nome=Douglas R.|añu=1989|títulu=[[Gödel, Escher, Bach]]|editorial=Tusquets editores|isbn=84-7223-459-2}}
*{{cita llibrollibru|nome2=Ernest|apellíos2=Nagel|nome3=James Roy|apellíos3=Newman|nome=Douglas R.|apellíos=Hofstadter|títulu=Gödel's Proof|añu=2002|isbn=0-8147-5816-9|idioma=inglés|editorial=NYU Press}}
*{{obra citada|apellíos=Ivorra|nombre=Carlos|títulu=Lóxica y teoría de conxuntos|url=http://www.uv.es/ivorra/Llibros/Logica.pdf|fechaacceso=27 de xunetu de 2011}}.
*{{cita llibrollibru|nombre=Guillermo|apellido=Martínez|enllace-autor=Guillermo Martinez (escritor)|editorial=Seix Barral|títulu=Gödel pa toos añu=2009|isbn=978-950-731-605-0}}
* {{cita publicación|nome=B.|apellíos=Rosser|títulu=Extensions of some theorems of Gödel and Church|publicación=Journal of Symbolic Logic|volume=1|añu=1936|páxines=87-91|url=http://www.jstor.org/stable/2269028|númberu=3}}
*{{cita llibrollibru|nome=Raymond|apellíos=Smullyan|títulu=Gödel's Incompleteness Theorems|editorial=[[Oxford University Press]]|añu=1992|isbn=0-19-504672-2|idioma=inglés}}
== Enllaces esternos ==
| 