Hostname: page-component-cc8bf7c57-5wl6q Total loading time: 0 Render date: 2024-12-12T02:06:59.638Z Has data issue: false hasContentIssue false

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.

Review products

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.

Published online by Cambridge University Press:  12 March 2014

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Reviews
Copyright
Copyright © Association for Symbolic Logic 1983

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)