TY - BOOK AU - Bell,J.L. TI - Boolean-valued models and independence proofs in set theory SN - 0198531680 : AV - QA248 .B44 U1 - 511.3/2 19 PY - 1977/// CY - Oxford PB - Clarendon Press KW - Axiomatic set theory KW - Independence (Mathematics) KW - ც KW - Model theory KW - მათემატიკა KW - სიმრავლეთა აქსიომატური თეორია KW - ალგებრა KW - მოდელირების თეორია N1 - Includes indexes; Bibliography : p. [120]-122 ER -