Boolean-valued models and independence proofs in set theory - Bell, John L. 1945- (Oxford logic guides, 1977)