# Logique et preuve 1

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

- **Auteur** : [Jean-Raymond Abrial](https://superlivre.fr/auteur/jean-raymond-abrial-cb13489775x) (1938–2025)
- **contributeur** : [Jean-Raymond Abrial](https://superlivre.fr/auteur/jean-raymond-abrial-cb13489775x)
- **Première parution** : 1997
- **Langue** : français
- **Genres** : [Mathématiques](https://superlivre.fr/genre/mathematiques-cb11932434c), [Étude et enseignement (supérieur)](https://superlivre.fr/genre/etude-et-enseignement-superieur-cb11975800q)
- **Éditions recensées** : 1 (1997–1997)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1997 | [Abrial, Jean-Raymond](https://superlivre.fr/editeur/abrial-jean-raymond) | Marseille | 49 | 2-906082-27-9 |