The axiom of choice (1980)

by P J Freyd
Venue:J. Pure Appl. Algebra