TY  - BOOK
AU  - Blass Andreas
AU  - Scedrov Andre
TI  - Freyd' model for the independence of the axiom of choice
U1  - 510 
PY  - 1989///
CY  - Providence
PB  - AMS
KW  - Axiom of choice
KW  - Mathematics
ER  -