Boolean-valued models and independence proofs in set theory - Bell, John L. 1945- (Clarendon Press, 1979)