TY  - BOOK
AU  - Troelstra, A. S.
AU  - Dalen, D. Van
TI  - THE L.D.J. BROUWER CENTENARY SYMPOSIUM
U1  - 511.3 
PY  - 1982///
CY  - Amsterdam
PB  - North-Holland Pub. Company
KW  - Logic, Symbolic And Mathematical
N1  - Proceedings Of The Conference Held In Noordwijkerhout, 8-13 June 1981
ER  -