The L. E. J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / ed. by A. S. Troelstra and D. van Dalen. (Studies in Logic and the Foundations of Mathematics, 1982)