# Programmation en logique

> Fiche œuvre du catalogue https://superlivre.fr/livre/programmation-en-logique-cb34905204m (données du dépôt légal BnF).

- **Auteur** : [Christopher John Hogger](https://superlivre.fr/auteur/christopher-john-hogger-cb123850882)
- **Première parution** : 1986
- **Langue** : français
- **Genres** : [Logique mathématique](https://superlivre.fr/genre/logique-mathematique-cb11965690r), [Programmation (informatique)](https://superlivre.fr/genre/programmation-informatique-cb11932648m)
- **Éditions recensées** : 1 (1986–1986)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1986 | [Masson](https://superlivre.fr/editeur/masson) | Paris | 284 | 2-225-81009-5 |