Axiom of choice and excluded middle in categorical logic (1995)

by S Awodey
Venue:Abstract: Bull. Symb. Logic