Forcing et sémantique de Kripke-Joyal
By: J. L. Moens
Series: Cahiers du Centre de logique -- 3
Publisher: Cabay
Published: 1982
Place of publication: Louvain-la-Neuve
Language: fre
Number of pages: 28
Subjects: Forcing (Model theory); Semantics; Mathematical models
Notes: "Université Catholique de Louvain, Institut Supérieur de Philosophie."

Bibliography: p. 28.