Dirk van Dalen

	2011
19		Dirk van Dalen: Brouwer's ϵ-fixed point and Sperner's lemma. Theor. Comput. Sci. 412(28): 3140-3144 (2011)
	2005
18		Dirk van Dalen: How the Mathematical Objects Determine the Mathematical Principles. J. UCS 11(12): 2132-2141 (2005)
	2002
17		Mark van Atten, Dirk van Dalen: Arguments for the continuity principle. Bulletin of Symbolic Logic 8(3): 329-347 (2002)
	2000
16		Dirk van Dalen: Brouwer and Fraenkel on intuitionism. Bulletin of Symbolic Logic 3(3): 284-310 (2000)
15		Dirk van Dalen, Heinz-Dieter Ebbinghaus: Zermelo and the Skolem paradox. Bulletin of Symbolic Logic 6(2): 145-161 (2000)
	1999
14		Dirk van Dalen: From Brouwerian Counter Examples to the Creating Subject. Studia Logica 62(2): 305-314 (1999)
	1998
13		Dirk van Dalen: L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments. LICS 1998: 228-241
	1997
12		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
11		Dirk van Dalen: How Connected Is the Intuitionistic Continuum? J. Symb. Log. 62(4): 1147-1150 (1997)
	1996
10		Dirk van Dalen: Intuitionism - Counting its Blessings. Electr. Notes Theor. Comput. Sci. 3: 39 (1996)
	1995
9		Dirk van Dalen: Herman Weyl's intuitionistic mathematics. Bulletin of Symbolic Logic 1(2): 145-169 (1995)
	1994
8		Dirk van Dalen: Logic and structure (3. ed.). Springer 1994: I-VIII, 1-215
	1992
7		Dirk van Dalen: The Continuum and First-Order Intuitionistic Logic. J. Symb. Log. 57(4): 1417-1424 (1992)
	1989
6		Dirk van Dalen: Logic and structure (2. ed.). Springer 1989: I-X, 1-207
	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)

Coauthor Index

1	Mark van Atten	[17]
2	Marc Bezem	[12]
3	E. Casari	[5]
4	Heinz-Dieter Ebbinghaus	[15]
5	E. J. Fenstad	[5]
6	G. Lolli	[5]
7	G. Longo	[5]
8	Annalisa Marcja	[5]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page