Diferencies ente revisiones de «Teoremas de incompletitud de Gödel»

m
iguo nome de plantía
m (iguo parámetros de plantía)
m (iguo nome de plantía)
== Bibliografía ==
*{{cita llibru|títulu=Handbook of mathematical logic|apellíos=Barwise|nome=Jon|editorial=Elsevier|añu=1989|isbn=9780444863881|idioma=inglés}}
*{{cita llibru|títulu=Computability and logic|idioma=inglés|nombrenome=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 llibru|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}}
*{{cita llibru|apellíos=Hofstadter|nome=Douglas R.|añu=1989|títulu=[[Gödel, Escher, Bach]]|editorial=Tusquets editores|isbn=84-7223-459-2}}
*{{cita llibru|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|nombrenome=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 llibru|nombrenome=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 llibru|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}}