عنوان
پدید آورنده
موضوع
رده
QA 9.56 .L2 1981
QA
9
.
56
.
L2
1981
کتابخانه
محل استقرار
70202
English
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
Amsterdam, New York
North-Holland Pub. Co., Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
1982
ix, 523 p. ; 23 cm
Studies in logic and the foundations of mathematics, v. 011
Includes bibliographies
edited by A.S. Troelstra and D. van Dalen
Congresses ، Constructive mathematics
Congresses ، Intuitionistic mathematics
، Brouwer, Luitzen Egbertus Jan, 1881-6691
QA
9
.
56
.
L2
1981
AU
AU naJ sutrebgE neztiuL ,rewuorB 1881-1966
AU prejS ennA ,artsleorT ed.
AU nav kirD ,nelaD ed.
TI
SE
L.E.J. Brouwer Centenary Symposium, )1981 : Noordwijkerhout, Netherlands(
یاضه ریه دانشکدانابخکت
