9 results
The birth and youth of Compositio Mathematica: ‘Ce périodique foncièrement international’
-
- Journal:
- Compositio Mathematica / Volume 142 / Issue 5 / September 2006
- Published online by Cambridge University Press:
- 25 September 2006, pp. 1083-1102
- Print publication:
- September 2006
-
- Article
-
- You have access
- Export citation
Arguments for the Continuity Principle
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 3 / September 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 329-347
- Print publication:
- September 2002
-
- Article
- Export citation
Brouwer and Fraenkel on Intuitionism
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 284-310
- Print publication:
- September 2000
-
- Article
- Export citation
Zermelo and the Skolem Paradox
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 145-161
- Print publication:
- June 2000
-
- Article
- Export citation
How connected is the intuitionistic continuum?
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1147-1150
- Print publication:
- December 1997
-
- Article
- Export citation
Hermann Weyl's Intuitionistic Mathematics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 1 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 15 January 2014, pp. 145-169
- Print publication:
- June 1995
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1201-1203
- Print publication:
- December 1983
-
- Article
- Export citation
Elliott Mendelson. Introduction to mathematical logic. The University Series in Undergraduate Mathematics, D. Van Nostrand Company, Inc., Princeton, New Jersey, Toronto, New York, London, 1964, x + 300 pp. Reprinted with corrections, ibid., January, 1966, x + 300 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-111
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Reductibilities in intuitionistic topology1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-417
- Print publication:
- 10 October 1968
-
- Article
- Export citation