Moens, J. L. <br/><br/>
Forcing et sémantique de Kripke-Joyal  [Texte imprimé] / 
J. L. Moens 
 - Louvain-la-Neuve:  Cabay,  1982 
 - Cahiers du Centre de logique ;  3 .
 - Cahiers du Centre de logique ;  3 .
<br/><br/>Bibliogr. p. 28 
<br/><br/><label>ISBN: </label>2-87077-098-7 
<br/><br/><label>Dewey Class. No.: </label>511.3