TY - BOOK AU - J L Bell AU - Bell, J L TI - Boolean valued models and independence proofs_in set theory U1 - 511.3, BEL PY - 1977/// CY - Oxford PB - Clarendon press ER -