Elements of intuitionism - Dummett, Michael A. E. (Oxford logic guides ;, 2000)