A remark on free choice sequences and the topological completeness proofs (1958)

by G Kreisel
Venue:The Journal of Symbolic Logic