Elements of intuitionism - Dummett Michael (Oxford Clarendon Press, 2000)
Keywords: Intuitionism; Mathematical logic