L.E.J. Brouwer Centenary Symposium (1981 Noordwijkerhout, Netherlands)