# Logique pour l'informatique : introduction à la déduction automatique, cours & exercices, licence d'informatique

> Fiche œuvre du catalogue https://superlivre.fr/livre/logique-pour-linformatique-48faeae031e7 (données du dépôt légal BnF).

- **Auteur** : [Serenella Cerrito](https://superlivre.fr/auteur/serenella-cerrito-cb15949506v)
- **Première parution** : 2008
- **Langue** : français
- **Genres** : [Calcul des propositions](https://superlivre.fr/genre/calcul-des-propositions-cb11957018n), [Calcul des prédicats](https://superlivre.fr/genre/calcul-des-predicats-cb11931096k), [Problèmes et exercices](https://superlivre.fr/genre/problemes-et-exercices-cb11975731q)
- **Éditions recensées** : 1 (2008–2008)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2008 | [Vuibert](https://superlivre.fr/editeur/vuibert) | Paris | 178 | 978-2-7117-2069-9 |