TY - BOOK
AU - L. E. J. Brouwer Centenary Symposium 1981 Noordwijkerhout
AU - Troelstra, Anne S.
AU - Dalen, Dirk van
AU - Brouwer, Luitzen E. J.
TI - The L. E. J. Brouwer Centenary Symposium proceedings of the conference, held in Noordwijkerhout, 8 - 13 june, 1981
PB - North-Holland Publ. Comp.
SN - 0444864946
KW - Constructive mathematics
KW - Congresses
KW - Intuitionistic mathematics
KW - Brouwer, L. E. J
KW - (Luitzen Egbertus Jan)
KW - 1881-1966
KW - Konferenzschrift 1981 Noordwijkerhout
KW - Konferenzschrift
KW - Intuitionistische Mathematik
KW - Mathematische Logik
KW - Metamathematik
PY - 1982
N2 - Literaturangaben
BT - Studies in logic and the foundations of mathematics ; 110
CY - Amsterdam [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation