Brouwer's Intuitionism / Walter P. van Stigt. Amsterdam [u.a.] : North-Holland, 1990