From the axiom of choice to choice sequences (1996)

by H Jervell
Venue:Nordic Journal of Philosophical Logic