TY - BOOK AU - Bell,J.L. TI - Set theory: Boolean-valued models and independence proofs T2 - Oxford logic guides SN - 0198568525 (en estuche) AV - QA248 B44 2005 U1 - 511.324 22 PY - 2005/// CY - Oxford, México PB - Oxford University Press KW - Teoría de conjuntos KW - Álgebra booleana KW - Teoría de la demostración N1 - Ed. anterior: Boolean-valued models and independence proofs in Set Theory, 1984 ER -