1978], Choice implies excluded middle, Zeitschrift fiir Mathematische Logik und Grundlagen der (1978)

by N D GOODMAN, J MYHiLL
Venue:Mathematik