Review: A. Heyting, L. E. J. Brouwer collected works, Volume I, Philosophy and foundations of mathematics
Kreisel, G.
Bull. Amer. Math. Soc., Tome 83 (1977) no. 6, p. 86-93 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1977-01-14
Classification:  
@article{1183538482,
     author = {Kreisel, G.},
     title = {Review: A. Heyting, L. E. J. Brouwer collected works, Volume I, Philosophy and foundations of mathematics},
     journal = {Bull. Amer. Math. Soc.},
     volume = {83},
     number = {6},
     year = {1977},
     pages = { 86-93},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183538482}
}

Kreisel, G. Review: A. Heyting, L. E. J. Brouwer collected works, Volume I, Philosophy and foundations of mathematics. Bull. Amer. Math. Soc., Tome 83 (1977) no. 6, pp.  86-93. http://gdmltest.u-ga.fr/item/1183538482/