TY - BOOK AU - Bell,J.L. TI - Boolean-valued models and independence proofs in set theory SN - 0198532415 : AV - QA248 .B44 1985 U1 - 511.3 19 PY - 1985/// CY - Oxford [Oxfordshire] PB - Oxford University Press KW - Axiomatic set theory KW - Independence (Mathematics) KW - Algebra, Boolean KW - Model theory N1 - Includes indexes; Bibliography: p. 157-160 ER -