Dirk van Dalen
Emeritus
Professor - Logic and Philosophy of
Mathematics
Publications
Personal Info
Books
- 1971
- Formele Logica. Een informele Inleiding. Oosthoek, Utrecht, 1971.
- 1972(with A.F. Monna) Sets and Integration. An outline of the development. Wolters--Noordhoff, Groningen, 1972.
- 1973
- (with A.A. Fraenkel, Y. Bar-hillel and A. Levy) Foundations of Set theory. North-Holland Publ. Co., Amsterdam.
- 1975
- (with H.C. Doets, H.C.M. de Swart). Verzamelingen. Naief, axiomatisch en toegepast. Oosthoek,Scheltema & Holkema, Utrecht.
- 1978
- Filosofische grondslagen van de Wiskunde. Van Gorcum, Assen, 1978.
- 1978
- (with H.C. Doets, H.C.M. de Swart). Sets, Naive, Axiomatic and Applied. Pergamon Press, Oxford.
- 1980
- Logic and Structure. Springer Verlag, Berlin.
- 1983
- Logic and Structure (2nd extended ed.). Springer Verlag, Berlin.
- 1987
- (with A.S. Troelstra, J. Kister) W-Bibliography of Mathematical Logic. Vol. VI. Proof Theory and Constructive Mathematics. Springer Verlag, Berlin.
- 1988
- (with A.S. Troelstra) Constructivism in Mathematics. Volume 1. North-Holland, Amsterdam.
- 1988
- (with A.S. Troelstra) Constructivism in Mathematics. Volume 2. North-Holland, Amsterdam.
- 1994
- Logic and Structure (3rd ed.). Springer Verlag, Berlin.
- 1997
- Logic and Structure (3rd extended ed.). Springer Verlag, Berlin.
- 1999
- Mystic, Geometer, and
Intuitionist: The Life of L.E.J. Brouwer. Volume I. The dawning
Revolution. Oxford University Press,
Oxford.
> - 2001
- L.E.J. Brouwer en de Grondslagen
van de Wiskunde. Epsilon,
Utrecht. p. 209.
- L.E.J. Brouwer (1881--1966). Een
Biografie. Het heldere licht der wiskunde. Bert Bakker, Amsterdam.
- 2004
- Logic and Structure (4th extended ed.). Springer Verlag, Berlin.
2005
- Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer. Volume II. Hope and Disillusion. Oxford University Press, Oxford.
2008
Logic and Structure (4th extended ed. Revised). Springer
Verlag, Berlin.
Edited Volumes
- 1979
- Logic Colloquium '78. North-Holland, Amsterdam.
- 1981
- L.E.J.Brouwer. Over de Grondslagen der Wiskunde. Math. Centrum, Amsterdam. pp. 267.
- Brouwer's Cambridge Lectures. Cambridge University Press, Cambridge.
pp. xii + 109.
- (with D.Lascar en T.J.Smiley), Logic Colloquium '80. North-Holland, Amsterdam.
- 1982
- (with A.S.Troelstra), The L.E.J.Brouwer Centenary Symposium. North-Holland, Amsterdam.
- 1984
- Droeve snaar, vriend van mij. De
correspondentie tussen Brouwer en Adama van Scheltema. De Arbeiderspers, Amsterdam. pp. 173.
- 1992
- L.E.J. Brouwer. Intuitionismus. Bibliographisches Institut, Mannheim.
pp. 161.
- 1997
- (with M. Bezem) Computer Science Logic. 10th International Workshop, CSL '96. Springer , Berlin.
Miscellaneous papers (Dutch) miscellaneous
papers