Elements of intuitionism / - Dummett, Michael, (Clarendon Press,, 1977)