| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dirk van Dalen |
Brouwer's ϵ-fixed point and Sperner's lemma.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk van Dalen |
How the Mathematical Objects Determine the Mathematical Principles. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mark van Atten, Dirk van Dalen |
Arguments for the continuity principle. |
Bulletin of Symbolic Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Dirk van Dalen, Heinz-Dieter Ebbinghaus |
Zermelo and the Skolem paradox. |
Bulletin of Symbolic Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Dirk van Dalen |
Brouwer and Fraenkel on intuitionism. |
Bulletin of Symbolic Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Dirk van Dalen |
From Brouwerian Counter Examples to the Creating Subject. |
Studia Logica |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk van Dalen |
L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk van Dalen |
How Connected Is the Intuitionistic Continuum? |
J. Symb. Log. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Dirk van Dalen, Marc Bezem (eds.) |
Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers |
CSL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Dirk van Dalen |
Intuitionism - Counting its Blessings. |
Electr. Notes Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk van Dalen |
Herman Weyl's intuitionistic mathematics. |
Bulletin of Symbolic Logic |
1995 |
DBLP BibTeX RDF |
|
| 1 | Dirk van Dalen |
Logic and structure (3. ed.). |
|
1994 |
RDF |
|
| 1 | Dirk van Dalen |
The Continuum and First-Order Intuitionistic Logic. |
J. Symb. Log. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Dirk van Dalen |
Logic and structure (2. ed.). |
|
1989 |
RDF |
|
| 1 | Dirk van Dalen |
How to Glue Analysis Models. |
J. Symb. Log. |
1984 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1984 |
DBLP BibTeX RDF |
|
| 1 | Dirk van Dalen |
The Use of Kripke's Schema as a Reduction Principle. |
J. Symb. Log. |
1977 |
DBLP BibTeX RDF |
|
| 1 | Dirk van Dalen |
A Note on Some Systems of Lindenmayer. |
Mathematical Systems Theory |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk van Dalen |
Reducibilities in Intuitionistic Topology. |
J. Symb. Log. |
1968 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")