TY  - BOOK
AU  - Moens,J.L.
TI  - Forcing et sémantique de Kripke-Joyal
T2  - Cahiers du Centre de logique
SN  - 2-87077-098-7
U1  - 511.3 21E
PY  - 1982///
CY  - Louvain-la-Neuve
PB  - Cabay
N1  - Bibliogr. p. 28
ER  -