TY - BOOK AU - Gödel,Kurt AU - Garrido,Manuel AU - García Suárez,Alfonso AU - Valdés Villanueva,Luis M. TI - Sobre proposiciones formalmente indecidibles de los principia mathematica y sistemas afines, SN - 9788496476950 AV - QA 248 G6218.2009 PY - 2009/// CY - Oviedo PB - KRK Ediciones KW - Teorema de Gödel N1 - Incluye referencias bibliográficas ER -