TY - BOOK AU - Rosser,J.Barkley ED - ScienceDirect eBooks. TI - Simplified independence proofs: Boolean valued models of set theory T2 - Pure and applied mathematics, a series of monographs and textbooks SN - 9780123745736 AV - QA3 .P8 vol. 31eb PY - 1969/// KW - Independence (Mathematics) KW - Algebra, Boolean KW - Set theory KW - Boole, Algèbre de KW - Ensembles, Théorie des KW - Logique symbolique et mathématique KW - MATHEMATICS KW - Set Theory KW - bisacsh KW - fast KW - Beweis KW - swd KW - Boolesche Algebra KW - Mathematik KW - Mengenlehre KW - Electronic books KW - local N1 - Includes bibliographical references (page 214); Electronic reproduction; [S.l.]; HathiTrust Digital Library; 2010 UR - http://ezproxy.alfaisal.edu/login?url=https://www.sciencedirect.com/science/bookseries/00798169/31 ER -