Reducibilities in Intuitionistic Topology. - Dirk van Dalen (J. Symb. Log., 1968)

A Note on Some Systems of Lindenmayer. - Dirk van Dalen (Math. Syst. Theory, 1971)

The Use of Kripke's Schema as a Reduction Principle. - Dirk van Dalen (J. Symb. Log., 1977)

Meeting of the Association for Symbolic Logic: Florence, Italy 1982. - E. Casari; E. J. Fenstad; G. Lolli; G. Longo; Annalisa Marcja; Dirk van Dalen (J. Symb. Log., 1984)

How to Glue Analysis Models. - Dirk van Dalen (J. Symb. Log., 1984)

Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. Kneser. - Dirk van Dalen (Arch. Math. Log., 1985)

Finite Kripke models of HA are locally PA. - Erik C. W. Krabbe; Hans Mulder; Albert Visser; Dirk van Dalen (Notre Dame J. Formal Log., 1986)

Intuitionistic Free Abelian Groups. - Dirk van Dalen; Fer-Jan de Vries (Math. Log. Q., 1988)

Logic and structure (2. ed.). - Dirk van Dalen (Springer, 1989)

The Continuum and First-Order Intuitionistic Logic. - Dirk van Dalen (J. Symb. Log., 1992)

Logic and structure (3. ed.). - Dirk van Dalen (Springer, 1994)

Herman Weyl's intuitionistic mathematics. - Dirk van Dalen (Bull. Symb. Log., 1995)

Intuitionism - Counting its Blessings. - Dirk van Dalen (Linear Logic Tokyo Meeting, 1996)

How Connected Is the Intuitionistic Continuum? - Dirk van Dalen (J. Symb. Log., 1997)

L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments. - Dirk van Dalen (LICS, 1998)

From Brouwerian Counter Examples to the Creating Subject. - Dirk van Dalen (Stud Logica, 1999)

Brouwer and Fraenkel on intuitionism. - Dirk van Dalen (Bull. Symb. Log., 2000)

Zermelo and the Skolem paradox. - Dirk van Dalen; Heinz-Dieter Ebbinghaus (Bull. Symb. Log., 2000)

Arguments for the continuity principle. - Mark van Atten; Dirk van Dalen (Bull. Symb. Log., 2002)

How the Mathematical Objects Determine the Mathematical Principles. - Dirk van Dalen (J. Univers. Comput. Sci., 2005)

Brouwer's ϵ-fixed point and Sperner's lemma. - Dirk van Dalen (Theor. Comput. Sci., 2011)