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