Boolean-valued models and independence proofs in set theory - Bell J L (Oxford Clarendon Press, 1985)
Keywords: Boolean algebra; Model theory; Set theory