Mystic, geometer, and intuitionist : the life of L.E.J. Brouwer Dirk van Dalen.

by Dalen, D. van (Dirk), 1932-
Published 1999

Constructivism in mathematics : an introduction A.S. Troelstra, D. van Dalen.

by Troelstra, A. S. (Anne Sjerp)
Published 1988

Brouwer's Cambridge lectures on intuitionism edited by D. van Dalen.

by Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966
Published 1981

Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon.

Published 1979

Logic Collogquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic edited by D. van Dalen, D. Lascar, T.J. Smiley.

Published 1982

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 edited by A.S. Troelstra and D. van Dalen.

Published 1982