- Tytuł pełny:
- The L. E. J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / ed. by A. S. Troelstra and D. van Dalen
- Wydawca:
- Amsterdam [etc.] : North-Holland Publishing Company
- Rok wydania:
- cop. 1982
- Seria:
- Studies in Logic and the Foundations of Mathematics ; vol. 110
- Temat:
- Matematyka konstruktywna - konferencje.
Intuicjonizm matematyczny - konferencje.
Książka