Brouwer's intuitionism - Stigt, Walter P. van (North-Holland, 1990)