Brouwer’s ϵ-fixed point and Sperner’s lemma | 0 | 0.34 | 2011 |
How the Mathematical Objects Determine the Mathematical Principles | 0 | 0.34 | 2005 |
Arguments for the continuity principle | 5 | 0.87 | 2002 |
Zermelo and the Skolem paradox | 4 | 0.85 | 2000 |
Brouwer and Fraenkel on intuitionism | 1 | 0.41 | 2000 |
From Brouwerian Counter Examples to the Creating Subject | 3 | 0.63 | 1999 |
Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers | 28 | 3.89 | 1997 |
How Connected Is the Intuitionistic Continuum? | 4 | 1.41 | 1997 |
Intuitionism - Counting its Blessings | 0 | 0.34 | 1996 |
Hermann Weyl's intuitionistic mathematics | 3 | 0.75 | 1995 |
The Continuum and First-Order Intuitionistic Logic | 1 | 0.60 | 1992 |
How To Glue Analysis Models | 2 | 0.59 | 1984 |
Meeting of the Association for Symbolic Logic: Florence, Italy 1982 | 0 | 0.34 | 1984 |
The Use of Kripke's Schema as a Reduction Principle | 2 | 0.56 | 1977 |
A Note on Some Systems of Lindenmayer | 15 | 43.20 | 1971 |
Reducibilities In Intuitionistic Topology | 0 | 0.34 | 1968 |