TY  - BOOK
AU  - Brouwer,L.E.J.
AU  - Troelstra,A.S.
AU  - Dalen,D.van
ED  - L.E.J. Brouwer Centenary Symposium
ED  - ScienceDirect eBooks.
TI  - The L.E.J. Brouwer Centenary Symposium: proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 
T2  - Studies in logic and the foundations of mathematics
SN  - 9780444864949
AV  - QA9.56 .L2 1981eb
PY  - 1982///
KW  - Brouwer, L. E. J.
KW  - Constructive mathematics
KW  - Congresses
KW  - Intuitionistic mathematics
KW  - Mathématiques intuitionnistes
KW  - Congrès
KW  - Mathématiques constructives
KW  - fast
KW  - Intuïtionisme
KW  - gtt
KW  - Wiskundige logica
KW  - Electronic books
KW  - local
N1  - Includes bibliographical references
UR  - http://ezproxy.alfaisal.edu/login?url=https://www.sciencedirect.com/science/bookseries/0049237X/110
ER  -