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