Simplified independence proofs : Boolean Valued models of set theory - 341990 Rosser, J. Barkley (New York : Academic Press, 1969)
41