TY  - BOOK
AU  - Bell J L
TI  - Boolean-valued models and independence proofs in set theory
SN  - 0-19-853241-5
U1  - 511.32 
PY  - 1985///
CY  - Oxford
PB  - Clarendon Press
KW  - Boolean algebra
KW  - Model theory
KW  - Set theory
ER  -