# Forcing et sémantique de Kripke-Joyal

> Fiche œuvre du catalogue https://superlivre.fr/livre/forcing-et-semantique-de-kripke-joyal-cb34982151s (données du dépôt légal BnF).

- **Auteur** : [J Moens](https://superlivre.fr/auteur/j-moens-cb12722999x)
- **Première parution** : 1982
- **Langue** : français
- **Genres** : [Logique](https://superlivre.fr/genre/logique-cb11935968s)
- **Éditions recensées** : 1 (1982–1982)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1982 | [[distribution] Cabay](https://superlivre.fr/editeur/distribution-cabay) | Louvain-la-Neuve, [Belgique] | 28 | 2-87077-098-7 |