L. E. J. brouwer centenary symposium. - Troelstra A S Ed.; Dalen D Van Ed. (Oxford North Holland Publishing, 1982)