TY  - BOOK
AU  - Bell J L
TI  - Boolean-valued models and independence proofs in set theory
U1  - B217, L7 
PY  - 1977///
KW  - Set Theory
ER  -