TY - BOOK AU - Bell, J. L. TI - Boolean-Valued Models and Independence Proofs in Set Theory U1 - 511.32 PY - 1985/// CY - london PB - Clarendon Press ER -