Dummett, M. A. E. Elements of intuitionism / by Michael Dummett, with the assistance of Roberto Minio - Oxford : Clarendon Press, 1985 - xii, 467 p. : ill. ; 24 cm. Bibliography : p. 452-461 ISBN: 0198531583 Subjects--Topical Terms: Intuitionistic mathematics