The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: L.E.J. Brouwer Centenary Symposium Noordwijkerhout, Netherlands
Otros Autores: Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966, Troelstra, A. S. (Anne Sjerp), Dalen, D. van (Dirk), 1932-
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : New York, N.Y. : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
Colección:Studies in logic and the foundations of mathematics ; v. 110.
Temas:
Brouwer, L. E. J. > (Luitzen Egbertus Jan), > 1881-1966.
Constructive mathematics > Congresses.
Intuitionistic mathematics > Congresses.
Math�ematiques intuitionnistes > Congr�es.
Math�ematiques constructives > Congr�es.
Constructive mathematics.
Intuitionistic mathematics.
Intu�itionisme.
Wiskundige logica.
Conference papers and proceedings.
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Descripción Física:1 online resource (ix, 523 pages)
Bibliografía:Includes bibliographical references.
ISBN:9780444864949
0444864946

Ejemplares similares