Publié le : 2006-10-14
Classification:
intuitionism,
bar theorem,
fan theorem,
Brouwer,
choice sequences,
creating subject,
intersubjectivity,
03A05,
03F55
@article{1168352669,
author = {Bassler, O. Bradley},
title = {Book Review: Mark van Atten. On Brouwer},
journal = {Notre Dame J. Formal Logic},
volume = {47},
number = {1},
year = {2006},
pages = { 581-599},
language = {en},
url = {http://dml.mathdoc.fr/item/1168352669}
}
Bassler, O. Bradley. Book Review: Mark van Atten. On Brouwer. Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, pp. 581-599. http://gdmltest.u-ga.fr/item/1168352669/