Elements of intuitionism - Dummett, Michael 1925-2011 (Clarendon, 1985)