# Systèmes formels, langages et logique : [2nds cycles d'informatique], UFR informatique et mathématiques appliquées, Grenoble I

> Fiche œuvre du catalogue https://superlivre.fr/livre/systemes-formels-langages-et-logique-cb350302425 (données du dépôt légal BnF).

- **Auteur** : [Claude Benzaken](https://superlivre.fr/auteur/claude-benzaken-cb121259659)
- **Première parution** : 1988
- **Langue** : français
- **Genres** : [Langage et logique](https://superlivre.fr/genre/langage-et-logique-cb11937563f)
- **Éditions recensées** : 2 (1988–1990)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1988 | [Université Grenoble I](https://superlivre.fr/editeur/universite-grenoble-i) | Grenoble | 121 |  |
| 1990 | [Université Joseph Fourier-Grenoble 1](https://superlivre.fr/editeur/universite-joseph-fourier-grenoble-1) | Grenoble | 121 | 2-908019-14-0 |