# Logique et informatique, une introduction

> Fiche œuvre du catalogue https://superlivre.fr/livre/logique-et-informatique-une-introduction-cb35470284m (données du dépôt légal BnF).

- **Auteur** : [Ecole de printemps d'informatique théorique (17 ; 1989 ; Albi)](https://superlivre.fr/auteur/ecole-de-printemps-dinformatique-theorique-17-1989-albi-cb12225202n)
- **contributeurs** : [Maurice Nivat](https://superlivre.fr/auteur/maurice-nivat-cb11917747b), [Bruno Courcelle](https://superlivre.fr/auteur/bruno-courcelle-cb11897935c)
- **Première parution** : 1991
- **Langue** : français
- **Genres** : [Actes de congrès](https://superlivre.fr/genre/actes-de-congres-cb120611486), [Informatique](https://superlivre.fr/genre/informatique-cb11932109b), [Logique mathématique](https://superlivre.fr/genre/logique-mathematique-cb11965690r)
- **Éditions recensées** : 1 (1991–1991)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1991 | [Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/institut-national-de-recherche-en-informatique-et-en-automatique) | Rocquencourt | 257 | 2-7261-0669-2 |