| 2005 |
|---|
| 16 | EE | Dirk van Dalen:
How the Mathematical Objects Determine the Mathematical Principles.
J. UCS 11(12): 2132-2141 (2005) |
| 2002 |
|---|
| 15 | EE | Mark van Atten,
Dirk van Dalen:
Arguments for the continuity principle.
Bulletin of Symbolic Logic 8(3): 329-347 (2002) |
| 2000 |
|---|
| 14 | EE | Dirk van Dalen:
Brouwer and Fraenkel on intuitionism.
Bulletin of Symbolic Logic 3(3): 284-310 (2000) |
| 13 | EE | Dirk van Dalen,
Heinz-Dieter Ebbinghaus:
Zermelo and the Skolem paradox.
Bulletin of Symbolic Logic 6(2): 145-161 (2000) |
| 1999 |
|---|
| 12 | | Dirk van Dalen:
From Brouwerian Counter Examples to the Creating Subject.
Studia Logica 62(2): 305-314 (1999) |
| 1998 |
|---|
| 11 | | Dirk van Dalen:
L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments.
LICS 1998: 228-241 |
| 1997 |
|---|
| 10 | | Dirk van Dalen,
Marc Bezem:
Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers
Springer 1997 |
| 9 | | Dirk van Dalen:
How Connected Is the Intuitionistic Continuum?
J. Symb. Log. 62(4): 1147-1150 (1997) |
| 1996 |
|---|
| 8 | EE | Dirk van Dalen:
Intuitionism - Counting its Blessings.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 1995 |
|---|
| 7 | EE | Dirk van Dalen:
Herman Weyl's intuitionistic mathematics.
Bulletin of Symbolic Logic 1(2): 145-169 (1995) |
| 1992 |
|---|
| 6 | | Dirk van Dalen:
The Continuum and First-Order Intuitionistic Logic.
J. Symb. Log. 57(4): 1417-1424 (1992) |
| 1984 |
|---|
| 5 | | E. Casari,
E. J. Fenstad,
G. Lolli,
G. Longo,
Annalisa Marcja,
Dirk van Dalen:
Meeting of the Association for Symbolic Logic: Florence, Italy 1982.
J. Symb. Log. 49(2): 683-710 (1984) |
| 4 | | Dirk van Dalen:
How to Glue Analysis Models.
J. Symb. Log. 49(4): 1339-1349 (1984) |
| 1977 |
|---|
| 3 | | Dirk van Dalen:
The Use of Kripke's Schema as a Reduction Principle.
J. Symb. Log. 42(2): 238-240 (1977) |
| 1971 |
|---|
| 2 | | Dirk van Dalen:
A Note on Some Systems of Lindenmayer.
Mathematical Systems Theory 5(2): 128-140 (1971) |
| 1968 |
|---|
| 1 | | Dirk van Dalen:
Reducibilities in Intuitionistic Topology.
J. Symb. Log. 33(3): 412-417 (1968) |
