Collected works / L.E.J. Brouwer ; edited by A. Heyting. - Brouwer, L. E. J. (North-Holland Publishing Co. (etc.), 1975)