cam a22 u 4500 128688742 CHVBK 20200921121718.0 880212s1982 ne | 10 |eng|d 0-444-86494-6 (OCoLC)636443453 (NEBIS)000275052 ETH-BIB ger ETH-BIB ETHICS-ISBD 511 19 511.2 511.3 The L.E.J. Brouwer centenary symposium proceedings of the conference; Noordwijkerhout, 8-13 June, 1981 ed.: A.S. Troelstra, D. Van Dalen Amsterdam a.o. North-Holland 1982 IX, 523 p. Studies in logic and the foundations of mathematics vol. 110 110 (NEBIS)000027515 126683573 Brouwer, L. E. J. Luitzen Egbertus Jan 1881-1966 Intuitionistische Mathematik (DE-588)4162200-5 gnd Kongress (DE-588)4130470-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Metamathematik (DE-588)4074759-1 gnd Constructive mathematics Congresses Constructive mathematics Congresses Intuitionistic mathematics Intuitionistic mathematics Congresses Intuitionistic mathematics Congresses INTUITIONISMUS (MATHEMATIK) ger (ETHUDK)000012489 ethudk KONSTRUKTIVISMUS (MATHEMATIK) ger (ETHUDK)000012490 ethudk LOGIKO-MATHEMATISCHE THEORIEN (MATHEMATISCHE LOGIK) ger (ETHUDK)000012519 ethudk LOGISCHE SPRACHEN (MATHEMATISCHE LOGIK) ger (ETHUDK)000012503 ethudk Konferenzschrift Noordwijkerhout 1981 gnd-content u Mathematische Logik / Kongresse, Konferenzen, Symposien idszbz Z9 u LOGIKO-MATHEMATISCHE THEORIEN (MATHEMATISCHE LOGIK) ger 510.65 nebis E1 u INTUITIONISMUS (MATHEMATIK) ger 510.24 nebis E1 u LOGISCHE SPRACHEN (MATHEMATISCHE LOGIK) ger 510.62 nebis E1 u KONSTRUKTIVISMUS (MATHEMATIK) ger 510.25 nebis E1 u LOGICO-MATHEMATICAL THEORIES (MATHEMATICAL LOGIC) eng 510.65 nebis E1 u THÉORIES LOGICO-MATHÉMATIQUES (LOGIQUE MATHÉMATIQUE) fre 510.65 nebis E1 u INTUITIONNISME (MATHÉMATIQUES) fre 510.24 nebis E1 u INTUITIONISM (MATHEMATICS) eng 510.24 nebis E1 u LOGICAL LANGUAGES (MATHEMATICAL LOGIC) eng 510.62 nebis E1 u LANGAGES LOGIQUES (LOGIQUE MATHÉMATIQUE) fre 510.62 nebis E1 u CONSTRUCTIVISME (MATHÉMATIQUES) fre 510.25 nebis E1 u CONSTRUCTIVISM (MATHEMATICS) eng 510.25 nebis E1 Troelstra A.S. Anne Sjerp Brouwer Luitzen E. J. 1881-1966 (DE-588)118988131 Dalen Dirk van 1932- (DE-588)133205053 L. E. J. Brouwer Centenary Symposium (1981 Noordwijkerhout) (DE-588)1091097-9 BK020800 XK020000 XK020000 E64-20160819 nebis EN 121 E01-20110101 E64A E64-20160819 Noordwijkerhout Kongress = Congrès 1981 NEBIS E64 E64 E64BI A 0.149 NEBIS Z01 Z01 04 TS 588: 110 NEBIS E01 E01 MG P 721617: 110 EX.A NEBIS E01 E01 MG P 721617: 110 NEBIS 490 -- Studies in logic and the foundations of mathematics vol. 110 110 (NEBIS)000027515 126683573 NEBIS 700 1- Troelstra A.S. Anne Sjerp NEBIS 700 1- Brouwer Luitzen E. J. 1881-1966 (DE-588)118988131 NEBIS 700 1- Dalen Dirk van 1932- (DE-588)133205053 NEBIS 711 2- L. E. J. Brouwer Centenary Symposium (1981 Noordwijkerhout) (DE-588)1091097-9 SWISSBIB 128688742