L.E.J. Brouwer's intuitionism: a revolution in two installments | IEEE Conference Publication | IEEE Xplore