Choice implies excluded middle (1978)

by N Goodman, J Myhill
Venue:Z. Math. Logik Grundlag. Math