Elements of intuitionism /
Dummett, Michael,1925-
Oxford : Clarendon Press,
2000.
Includes bibliographical references and indexes.
Intuitionistic mathematics.