Intuitionism and formalism
Brouwer, L. E. J.
Bull. Amer. Math. Soc., Tome 20 (1913) no. 3, p. 81-96 / Harvested from Project Euclid
Publié le : 1913-11-15
Classification: 
@article{1183422499,
     author = {Brouwer, L. E. J.},
     title = {Intuitionism and formalism},
     journal = {Bull. Amer. Math. Soc.},
     volume = {20},
     number = {3},
     year = {1913},
     pages = { 81-96},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183422499}
}
Brouwer, L. E. J. Intuitionism and formalism. Bull. Amer. Math. Soc., Tome 20 (1913) no. 3, pp.  81-96. http://gdmltest.u-ga.fr/item/1183422499/