Analysing choice sequences (1983)

by A S Troelstra
Venue:Journal of Philosophical Logic