Boolean-Valued models and independence proofs in set theory - Bell, John Lane (Oxford Logic Guides ;, 1985)