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