Collected works Philosophy and foundations of Mathematics - Heyting A; Brouwer L E J (Amsterdam North-Holland, 1975)
Keywords: Philosophy of Mathematics