Media type: E-Book; Conference Proceedings Title: The L. E. J. Brouwer Centenary Symposium : proceedings of the conference, held in Noordwijkerhout, 8 - 13 june, 1981 Contributor: Troelstra, Anne S. [Hrsg.]; Dalen, Dirk van [Other]; Brouwer, Luitzen E. J. [GefeierteR] imprint: Amsterdam [u.a.]: North-Holland Publ. Comp., 1982 Published in: Studies in logic and the foundations of mathematics ; 110 Extent: Online Ressource (ix, 523 pages) Language: English ISBN: 9780444864949; 0444864946 RVK notation: SD 1981 : Veranstaltungsjahr 1981 SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Intuitionistische Mathematik Mathematische Logik Mathematische Logik Metamathematik Reproductino series: Elsevier e-book collection on ScienceDirect Reproduction note: Electronic reproduction; Mode of access: World Wide Web Origination: Footnote: Includes bibliographical references. - Print version record