Dirk van Dalen

22 papers A* 1B 1Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2011 J jnl
Brouwer's ϵ-fixed point and Sperner's lemma.
Theor. Comput. Sci.
Dirk van Dalen
2005 J jnl
How the Mathematical Objects Determine the Mathematical Principles.
J. Univers. Comput. Sci.
Dirk van Dalen
2002 J jnl
Arguments for the continuity principle.
Bull. Symb. Log.
Mark van Atten, Dirk van Dalen
2000 J jnl
Brouwer and Fraenkel on intuitionism.
Bull. Symb. Log.
Dirk van Dalen
2000 J jnl
Zermelo and the Skolem paradox.
Bull. Symb. Log.
Dirk van Dalen, Heinz-Dieter Ebbinghaus
1999 J jnl
From Brouwerian Counter Examples to the Creating Subject.
Stud Logica
Dirk van Dalen
1998 A* conf
L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments.
LICS
Dirk van Dalen
1997 B ed.
Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers
CSL
Dirk van Dalen, Marc Bezem
1997 J jnl
How Connected Is the Intuitionistic Continuum?
J. Symb. Log.
Dirk van Dalen
1996 — conf
Intuitionism - Counting its Blessings.
Linear Logic Tokyo Meeting
Dirk van Dalen
1995 J jnl
Herman Weyl's intuitionistic mathematics.
Bull. Symb. Log.
Dirk van Dalen
1994 — book
Logic and structure (3. ed.).
Dirk van Dalen
1992 J jnl
The Continuum and First-Order Intuitionistic Logic.
J. Symb. Log.
Dirk van Dalen
1989 — book
Logic and structure (2. ed.).
Dirk van Dalen
1988 J jnl
Intuitionistic Free Abelian Groups.
Math. Log. Q.
Dirk van Dalen, Fer-Jan de Vries
1986 J jnl
Finite Kripke models of HA are locally PA.
Notre Dame J. Formal Log.
Erik C. W. Krabbe, Hans Mulder, Albert Visser, Dirk van Dalen
1985 J jnl
Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. Kneser.
Arch. Math. Log.
Dirk van Dalen
1984 J jnl
How to Glue Analysis Models.
J. Symb. Log.
Dirk van Dalen
1984 J jnl
Meeting of the Association for Symbolic Logic: Florence, Italy 1982.
J. Symb. Log.
E. Casari, E. J. Fenstad, G. Lolli, G. Longo, Annalisa Marcja, Dirk van Dalen
1977 J jnl
The Use of Kripke's Schema as a Reduction Principle.
J. Symb. Log.
Dirk van Dalen
1971 J jnl
A Note on Some Systems of Lindenmayer.
Math. Syst. Theory
Dirk van Dalen
1968 J jnl
Reducibilities in Intuitionistic Topology.
J. Symb. Log.
Dirk van Dalen