Elements of intuitionism - Dummett, Michael (Oxford logic guides, 1977)