Boolean-valued models and independence proofs in set theory

J.L. Bell
Oxford University Press
9780198532415
0-19-853241-5