Gödel, K., Garrido, M., García Suarez, A., & Valdés Villanueva, L. M. (2006). Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines. Oviedo: KRK Ediciones.
Cita MLA (8 ed.) (Copiar al portapapeles)Gödel, Kurt, Manuel Garrido, Alfonso García Suarez, and Luis Manuel Valdés Villanueva. Sobre Proposiciones Formalmente Indecidibles De Los Principia Mathematica Y Sistemas Afines. Oviedo: KRK Ediciones , 2006.