Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Dirk van Dalen
2010 – today
- 2011
[j15]Dirk van Dalen: Brouwer's ϵ-fixed point and Sperner's lemma. Theor. Comput. Sci. 412(28): 3140-3144 (2011)
2000 – 2009
- 2005
- [j14]Dirk van Dalen: How the Mathematical Objects Determine the Mathematical Principles. J. UCS 11(12): 2132-2141 (2005)
- 2002
- [j13]Mark van Atten, Dirk van Dalen: Arguments for the continuity principle. Bulletin of Symbolic Logic 8(3): 329-347 (2002)
- 2000
- [j12]Dirk van Dalen: Brouwer and Fraenkel on intuitionism. Bulletin of Symbolic Logic 3(3): 284-310 (2000)
- [j11]Dirk van Dalen, Heinz-Dieter Ebbinghaus: Zermelo and the Skolem paradox. Bulletin of Symbolic Logic 6(2): 145-161 (2000)
1990 – 1999
- 1999
- [j10]Dirk van Dalen: From Brouwerian Counter Examples to the Creating Subject. Studia Logica 62(2): 305-314 (1999)
- 1998
- [c1]Dirk van Dalen: L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments. LICS 1998: 228-241
- 1997
- [j9]Dirk van Dalen: How Connected Is the Intuitionistic Continuum? J. Symb. Log. 62(4): 1147-1150 (1997)
- [e1]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. Lecture Notes in Computer Science 1258, Springer 1997, ISBN 3-540-63172-0
- 1996
- [j8]Dirk van Dalen: Intuitionism - Counting its Blessings. Electr. Notes Theor. Comput. Sci. 3: 39 (1996)
- 1995
- [j7]Dirk van Dalen: Herman Weyl's intuitionistic mathematics. Bulletin of Symbolic Logic 1(2): 145-169 (1995)
- 1994
- [b2]Dirk van Dalen: Logic and structure (3. ed.). Universitext, Springer 1994, ISBN 978-3-540-57839-0, pp. I-VIII, 1-215
- 1992
- [j6]Dirk van Dalen: The Continuum and First-Order Intuitionistic Logic. J. Symb. Log. 57(4): 1417-1424 (1992)
1980 – 1989
- 1989
- [b1]Dirk van Dalen: Logic and structure (2. ed.). Universitext, Springer 1989, ISBN 978-3-540-12831-1, pp. I-X, 1-207
- 1984
- [j5]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)
- [j4]
1970 – 1979
- 1977
- [j3]Dirk van Dalen: The Use of Kripke's Schema as a Reduction Principle. J. Symb. Log. 42(2): 238-240 (1977)
- 1971
- [j2]Dirk van Dalen: A Note on Some Systems of Lindenmayer. Mathematical Systems Theory 5(2): 128-140 (1971)
1960 – 1969
- 1968
- [j1]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:40 CET by the dblp team