Elements of intuitionism - Dummet, Michael 1925-2011; Minio, Roberto (Oxford : Clarendon Press, 1977)