9 results
IN MEMORIAM: WALTER (WOUTER) VAN STIGT (1927–2015)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 03 April 2017, pp. 122-123
- Print publication:
- March 2017
-
- Article
-
- You have access
- Export citation
THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 30-101
- Print publication:
- March 2009
-
- Article
- Export citation
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-64
- Print publication:
- March 2008
-
- Article
- Export citation
Some elementary results in intuitionistic model theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 745-767
- Print publication:
- September 1996
-
- Article
- Export citation
Dov M. Gabbay. Semantical investigations in Heyting's intuitionistic logic. Synthese library, vol. 148. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, x + 287 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, p. 824
- Print publication:
- September 1986
-
- Article
- Export citation
Per Martin-Löf. An intuitionistic theory of types: predicative part. Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July 1973, edited by H. E. Rose and J. C. Shepherdson, Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 73–118.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 311-313
- Print publication:
- March 1984
-
- Article
- Export citation
Peter Aczel. The strength of Martin-Löf's intuitionistic type theory with one universe. Proceedings of the symposiums on mathematical logic in Oulu 1974 and in Helsinki 1975, edited by Seppo Miettinen and Jouko Väänänen, The department of philosophy, University of Helsinki, Helsinki1977, pp. 1–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, p. 313
- Print publication:
- March 1984
-
- Article
- Export citation
Peter Aczel. The type theoretic interpretation of constructive set theory. Logic Colloquium '77, Proceedings of the colloquium held in Wrocław, August 1977, edited by Angus Macintyre, Leszek Pacholski, and Jeff Paris, Studies in logic and the foundations of mathematics, vol. 96, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, pp. 55–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-314
- Print publication:
- March 1984
-
- Article
- Export citation
An intuitiomstic completeness theorem for intuitionistic predicate logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-166
- Print publication:
- March 1976
-
- Article
- Export citation