TY - THES ID - 145383277 TI - La technique générale du forcing de P. J. Cohen en langage formalisé PY - 1972 PB - [S.l.]: [chez l'auteur], DB - UniCat KW - Logic, Symbolic and mathematical KW - Logique mathématique. KW - Model theory KW - Set theory KW - Théorie des ensembles. KW - Théorie des modèles. KW - Forcing (Model theory) KW - Forcing (mathématiques) UR - https://www.unicat.be/uniCat?func=search&query=sysid:145383277 AB - ER -