Brouwer's intuitionism - Van Stigt, Walter P. (Studies in the history and philosophy of mathematics ; vol. 2, 1990)