عنوان
پدید آورنده
موضوع
رده
QA 9.56 .L2 1981
QA
9
.
56
.
L2
1981
کتابخانه
محل استقرار
The L.E.J. Brouwer Centenary Symposium : proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981
1981 : Noordwijkerhout, Netherlands
Amsterdam
North-Holland
1982
ix, 523p
Studies in logic and the foundations of mathematics; Vol. 011
Includes bibliographies
ISBN: 0444864946
edited by A.S. Troelstra and D. Van Dalen
1
Congresses ، Constructive mathematics
Congresses ، Intuitionistic mathematics
، Brouwer, Luitzen Egbertus Jan, 1881-6691
QA
9
.
56
.
L2
1981
AU
AU Brouwer, Luitzen Egbertus Jan, 1881-1966
AU Troelstra, Anne Sjerp
AU Dalen, Dirk van, 1932-
TI
SE
L.E.J. Brouwer Centenary Symposium
