TY  - GEN
T1  - Freyd's models for the independence of the axiom of choice /
AU  - Blass, Andreas,
AU  - Ščedrov, Andrej,
VL  - Number 404
CN  - QA248
N1  - "May 1989, Volume 79, Number 404 (end of volume)."
ID  - 1365338
KW  - Axiom of choice.
KW  - Toposes.
KW  - Forcing (Model theory)
SN  - 9781470408244 (e-book)
TI  - Freyd's models for the independence of the axiom of choice /
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113926
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113926
ER  -