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