Hermann Weyl's Intuitionistic Mathematics
Dalen, Dirk Van
Bull. Symbolic Logic, Tome 1 (1995) no. 1, p. 145-169 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1995-06-14
Classification:  
@article{1181154737,
     author = {Dalen, Dirk Van},
     title = {Hermann Weyl's Intuitionistic Mathematics},
     journal = {Bull. Symbolic Logic},
     volume = {1},
     number = {1},
     year = {1995},
     pages = { 145-169},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1181154737}
}

Dalen, Dirk Van. Hermann Weyl's Intuitionistic Mathematics. Bull. Symbolic Logic, Tome 1 (1995) no. 1, pp.  145-169. http://gdmltest.u-ga.fr/item/1181154737/