Obras completas, by Kurt Gödel. Edited by Jesús Mosterín. Alianza universidad. Alianza Editorial, Madrid1981, 430 pp. - Jesús Mosterín. Prólogo. Pp. 9–13. - Jesús Mosterín. 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. - Kurt Gödel. La suftciencia de los axiomas del caĺculo lógico de primer orden. Pp. 20–34. Spanish translation by Jesús Mosterín of 4182. - Kurt Gödel. Un caso especial del problema de la decision en la Idgica tedrica. Pp. 37–39. Spanish translation by Jesús Mosterín of 4187. - Kurt Gödel. Algunos resultados metamatemáticos sobre completudy consistencia. Pp. 42–43. Spanish translation by Jesús Mosterín of 4181. - Kurt Gödel. Sobre sentencias formalmente indecidibles de Principia mathematica y sistemas afines. Pp. 55–89. Spanish translation by Jesús Mosterín of 4185 with an added note from XXXVII 405(5). - Kurt Gödel. Sobre completud y consistencia. Pp. 92–94. Spanish translation by Jesús Mosterin of 4188 with an added note from XXXVII 405(6). - Kurt Gödel. Discusión sobre la fundamentación de la matemática. Pp. 97–100. Spanish translation by Jesús Mosterín of 4184 and 4185. - Kurt Gödel. Una propriedad de los modelos del cálculo conectivo. Pp. 103–104. Spanish translation by Jesús Mosterín of 4189.