TY - BOOK AU - Rosser, John Barkley, TI - Simplified independence proof: Boolean valued models of set theo ry U1 - 511.3 PY - 1969/// CY - New York PB - Academic Press KW - Independence (Mathematics) KW - Algebra, Boolean KW - Set theory N1 - Includes bibliographical references (p. 214) ER -