TY  - BOOK
AU  - Bell J L
TI  - Boolean - Valued models and independence proofs in set theory
U1  - B2M38, L7 
PY  - 1977///
ER  -