Obras completas, by Gödel Kurt. Edited by Mosterín Jesús. Alianza universidad. Alianza Editorial, Madrid 1981, 430 pp.Mosterín Jesús. Prólogo. Pp. 9–13.Mosterín Jesús. Introducción. Pp. 15–19, 35–36, 41, 45–54, 91, 95–96, 101–102, 105–106, 109, 113–114, 117–119, 127–129, 147–150, 183–184, 187–188, 191, 195–196, 205–213, 295–296, 329–330, 337–339, 401–403, 413–414.Gödel Kurt. La suftciencia de los axiomas del caĺculo lógico de primer orden. Pp. 20–34. Spanish translation by Mosterín Jesús of 4182.Gödel Kurt. Un caso especial del problema de la decision en la Idgica tedrica. Pp. 37–39. Spanish translation by Mosterín Jesús of 4187.Gödel Kurt. Algunos resultados metamatemáticos sobre completudy consistencia. Pp. 42–43. Spanish translation by M