Author :
L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands)
Title :
The L.E.J. Brouwer Centenary Symposium
Author Statement :
edited by A.S. Troelstra and D. van Dalen
Publication :
North-Holland Pub. Co.
Collation :
ix, 523 p. ; 23 cm.
Series :
Studies in logic and the foundations of mathematics
Subject :
Brouwer, L. E. J.1881-1966 , Constructive mathematics , Intuitionistic mathematics
ADDED ENTRIES :
Troelstra, A. S , ,
SubTitle :
proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
Index :
Includes bibliographies and index
