Sobre proposiciones formalmente indecidibles de los Principia mathematica y sistemas afines
Kurt Gödel ; con una introducción de R. B. Braithwaite.
Valencia : Revista Teorema [Departamento de Lógica, Universidad de Valencia], 1980.
xxxii, 50 págs. ; 19 cm.
Serie: Cuadernos Teorema ; 8
ISBN: 8437001684
Traducción del artículo Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, publicado en 1931 en Monatshefte für Mathematik und Physik, v. 38, p. 173-198; traductores: Manuel Garrido, Alfonso García Suárez y Luis Manuel Valdés.
La introducción se publicó originalmente en inglés en 1962, precediendo a la traducción del trabajo de Gödel; versión castellana de Luis Manuel Valdés.