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