TY - BOOK AU - Rosser J Barkley TI - Simplified independence Proofs : boolean valued models of set theory U1 - 511.324 PY - 1969/// CY - London PB - Academic Press KW - Boolean algebra KW - Set theory ER -