@book {MR0498017,
    AUTHOR = {Dummett, Michael},
     TITLE = {Elements of intuitionism},
      NOTE = {Written with the assistance of Roberto Minio,
              Oxford Logic Guides},
 PUBLISHER = {Clarendon Press, Oxford},
      YEAR = {1977},
     PAGES = {xii+467},
   MRCLASS = {02E05 (02-01 02C15)},
  MRNUMBER = {0498017 (58 \#16194)},
MRREVIEWER = {Horst Luckhardt},
  BOEKCODE = {03F55},
}