Boolean-Valued Models and Independence Proofs in Set Theory (1985)

by J L Bell