Interview with a constructive mathematician
Richman, Fred
Mod. Log., Tome 6 (1996) no. 1, p. 247-271 / Harvested from Project Euclid
Publié le : 1996-07-15
Classification:  00A30,  01A60,  03F99
@article{1204835729,
     author = {Richman, Fred},
     title = {Interview with a constructive mathematician},
     journal = {Mod. Log.},
     volume = {6},
     number = {1},
     year = {1996},
     pages = { 247-271},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1204835729}
}
Richman, Fred. Interview with a constructive mathematician. Mod. Log., Tome 6 (1996) no. 1, pp.  247-271. http://gdmltest.u-ga.fr/item/1204835729/