Elements of instuitionism - Dummett Michael (Oxford Clarendon Press, 1977)
Keywords: Intuitive mathematics