TY - BOOK AU - Rosser, J. TI - Simplified Independence Proofs : Boolean Valued Models of Set Theory PY - 1969/// CY - New York PB - Academic Press ER -