@article{1183733411,
author = {Kreisel, G.},
title = {A Remark on Free Choice Sequences and the Topological Completeness Proofs},
journal = {J. Symbolic Logic},
volume = {23},
number = {1},
year = {1958},
pages = { 369-388},
language = {en},
url = {http://dml.mathdoc.fr/item/1183733411}
}
Kreisel, G. A Remark on Free Choice Sequences and the Topological Completeness Proofs. J. Symbolic Logic, Tome 23 (1958) no. 1, pp. 369-388. http://gdmltest.u-ga.fr/item/1183733411/