Elements of intuitionism
Dummett, Michael,1925-
Minio, Roberto.
Oxford Clarendon Press
1977
Bibliography: p.452-461. - Includes index
Intuitionistic mathematics.