The law of excluded middle and the axiom of choice (1994)

by W W Tait