TY - BOOK AU - Bell,J L . TI - Boolean-vallued models and independence proofs in set theory / SN - 0198532415 U1 - 511.32 PY - 1985/// CY - Oxford : PB - Clarendon press , KW - INDEPENDENCE (MATHEMATICS) N1 - Includes bibliography and index ER -