# Colloque de logique mathématique : congrès européen d'été de l'Association for symbolic logic, ASL, Clermont-Ferrand, France, 21-30 juillet 1994

> Fiche œuvre du catalogue https://superlivre.fr/livre/colloque-de-logique-mathematique-cb35715361q (données du dépôt légal BnF).

- **Auteur** : [Logic colloquium (1994 ; Clermont-Ferrand)](https://superlivre.fr/auteur/logic-colloquium-1994-clermont-ferrand-cb12438105p)
- **éditeur intellectuel** : [Laboratoire de logique, algorithmique et informatique. Clermont-Ferrand](https://superlivre.fr/auteur/laboratoire-de-logique-algorithmique-et-informatique-clermont-ferrand-cb12446619g)
- **Première parution** : 1994
- **Langue** : français
- **Genres** : [Actes de congrès](https://superlivre.fr/genre/actes-de-congres-cb120611486), [Logique mathématique](https://superlivre.fr/genre/logique-mathematique-cb11965690r)
- **Éditions recensées** : 2 (1994–1994)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1994 | [Université d'Auvergne, Laboratoire de logique, algorithmique et informatique](https://superlivre.fr/editeur/universite-dauvergne-laboratoire-de-logique-algorithmique-et-informatique) | [Clermont-Ferrand] | 132 | 2-87663-035-4 |
| 1994 | [Université d'Auvergne, Laboratoire de logique, algorithmique et informatique](https://superlivre.fr/editeur/universite-dauvergne-laboratoire-de-logique-algorithmique-et-informatique) | [Clermont-Ferrand] |  | 2-87663-036-2 |