@article{1093894081,
author = {Belding, W. Russell},
title = {A note on the intuitionist fan theorem.},
journal = {Notre Dame J. Formal Logic},
volume = {11},
number = {1},
year = {1970},
pages = { 484-486},
language = {en},
url = {http://dml.mathdoc.fr/item/1093894081}
}
Belding, W. Russell. A note on the intuitionist fan theorem.. Notre Dame J. Formal Logic, Tome 11 (1970) no. 1, pp. 484-486. http://gdmltest.u-ga.fr/item/1093894081/