@article{1183740394,
author = {Vesley, Richard},
title = {Review: A. S. Troelstra, Choice Sequences. A Chapter of Intuitionistic Mathematics},
journal = {J. Symbolic Logic},
volume = {44},
number = {1},
year = {1979},
pages = { 275-276},
language = {en},
url = {http://dml.mathdoc.fr/item/1183740394}
}
Vesley, Richard. Review: A. S. Troelstra, Choice Sequences. A Chapter of Intuitionistic Mathematics. J. Symbolic Logic, Tome 44 (1979) no. 1, pp. 275-276. http://gdmltest.u-ga.fr/item/1183740394/