Freyd's models for the independence of the axiom of choiceby Andreas BlassAxiom of choiceForcing (Model theory)ToposesWriting a summary for young readers…For young readersBook data: Open Library
