TY - BOOK ID - 146191787 TI - Boolean-valued models and independence proofs in set theory PY - 1985 SN - 0198532415 PB - Oxford : Clarendon Press, DB - UniCat KW - Set theory. KW - Théorie des ensembles KW - Forcing (Model theory) KW - Forcing (mathématiques) KW - Logique mathématique KW - Théorie des modèles KW - Algebres de boole KW - Algebres de boole UR - https://www.unicat.be/uniCat?func=search&query=sysid:146191787 AB - ER -