@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},
}

{"_id":"JuETjG2C3XK2qBQGm","bibbaseid":"dummett-elementsofintuitionism-1977","author_short":["Dummett, M."],"bibdata":{"bibtype":"book","type":"book","author":[{"propositions":[],"lastnames":["Dummett"],"firstnames":["Michael"],"suffixes":[]}],"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","bibtex":"@book {MR0498017,\r\n AUTHOR = {Dummett, Michael},\r\n TITLE = {Elements of intuitionism},\r\n NOTE = {Written with the assistance of Roberto Minio,\r\n Oxford Logic Guides},\r\n PUBLISHER = {Clarendon Press, Oxford},\r\n YEAR = {1977},\r\n PAGES = {xii+467},\r\n MRCLASS = {02E05 (02-01 02C15)},\r\n MRNUMBER = {0498017 (58 \\#16194)},\r\nMRREVIEWER = {Horst Luckhardt},\r\n BOEKCODE = {03F55},\r\n}\r\n\r\n","author_short":["Dummett, M."],"key":"MR0498017","id":"MR0498017","bibbaseid":"dummett-elementsofintuitionism-1977","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"book","biburl":"https://fa.ewi.tudelft.nl/Library/Boeken.bib","dataSources":["ciMNZooLoSbw5kwup"],"keywords":[],"search_terms":["elements","intuitionism","dummett"],"title":"Elements of intuitionism","year":1977}