12 results
Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-159
- Print publication:
- March 1995
-
- Article
- Export citation
Newton C. A. da Costa. Ensaio sobre os fundamentos da lógica. Editora Hucitec, Editora da Universidade de São Paulo, São Paulo1980, xii + 255 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1500-1503
- Print publication:
- December 1991
-
- Article
- Export citation
Sentences of type theory: the only sentences preserved under isomorphisms1,2
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 932-948
- Print publication:
- September 1991
-
- Article
- Export citation
Pragmatic truth and approximation to truth1
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-221
- Print publication:
- March 1986
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1430-1440
- Print publication:
- December 1984
-
- Article
- Export citation
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1199-1201
- Print publication:
- December 1983
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Bogotá, Colombia, 1981
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 884-892
- Print publication:
- September 1983
-
- Article
- Export citation
Keith J. Devlin. Fundamentals of contemporary set theory. Universitext. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, viii + 182 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-420
- Print publication:
- June 1981
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Santiago, Chile, 1978
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-190
- Print publication:
- March 1981
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1976
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-364
- Print publication:
- June 1978
-
- Article
- Export citation
Forcing for the impredicative theory of classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-18
- Print publication:
- March 1972
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic Santiago, Chile 1970
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 576-580
- Print publication:
- September 1971
-
- Article
- Export citation