Research Article
A tableau system of proof for predicate-functor logic with identity1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1140-1144
-
- Article
- Export citation
Addendum
Addendum to “Logic of reduced power structures”
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1145
-
- Article
- Export citation
Research Article
Downward transfer of satisfiability for sentences of L1,1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1146-1150
-
- Article
- Export citation
Une théorie de Galois imaginaire
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1151-1170
-
- Article
- Export citation
State-strategies for games in Fσδ ∩ Gδσ
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1171-1198
-
- Article
- Export citation
Reviews
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1199-1201
-
- Article
- Export citation
M. P. Fourman and D. S. Scott. Sheaves and logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977, edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott, Lecture notes in mathematics, vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, pp. 302–401.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1201-1203
-
- Article
- Export citation
Edward Nelson. Internal set theory: a new approach to nonstandard analysis. Bulletin of the American Mathematical Society, vol. 83 (1977), pp. 1165–1198.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1203-1204
-
- Article
- Export citation
J. Zucker. The correspondence between cut-elimination and normalization. Annals of mathematical logic, vol. 7 no. 1 (1974), pp. 1–112, and vol. 7, no. 2–3 (1974), pp. 113–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1204-1206
-
- Article
- Export citation
Paul-Henri Steinauer. La logique au service du droit. Étude de logique contemporaine pour une meilleure communication de la pensée juridique. Arbeiten aus dem Iuristischen Seminar der Universitat Freiburg Schweiz, no. 48. Éditions Universitaires Fribourg Suisse, Fribourg1979, XII + 198 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1206-1207
-
- Article
- Export citation
Joseph G. Rosenstein. Linear orderings. Pure and applied mathematics, no. 98. Academic Press, New York and London1982, xvii + 487 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1207-1209
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, Marseilles, 1981 (the Herbrand Symposium)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1210-1232
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Madison, 1982
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1233-1239
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1240-1272
-
- Article
- Export citation
Index of Reviews
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1273-1283
-
- Article
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1285-1286
-
- Article
- Export citation
Front matter
JSL volume 48 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 48 issue 4 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
-
- Article
-
- You have access
- Export citation