TY  - BOOK
AU  - Blass,Andreas
AU  - Scedrov,Andrej
TI  - Freyd's models for the independence of the axiom of choice
T2  - Memoirs of the American Mathematical Society,
AV  - QA248 .B537 1989
U1  - 511.3 20
PY  - 1989///
CY  - Providence, Rhode Island
PB  - American Mathematical Society
KW  - Axiom of choice
KW  - Toposes
KW  - Forcing (Model theory)
KW  - Electronic books
N1  - "May 1989, Volume 79, Number 404 (end of volume)."; Includes bibliographical references
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3113926
ER  -