# Introduction à la logique : théorie de la démonstration, cours et exercices

> Fiche œuvre du catalogue https://superlivre.fr/livre/introduction-a-la-logique-192b5dc45f4b (données du dépôt légal BnF).

- **Auteurs** : [René David](https://superlivre.fr/auteur/rene-david-cb137458361) (1948–), [Karim Nour](https://superlivre.fr/auteur/karim-nour-cb13745842z), [Christophe Raffalli](https://superlivre.fr/auteur/christophe-raffalli-cb137458439)
- **Première parution** : 2001
- **Langue** : français
- **Genres** : [Logique mathématique](https://superlivre.fr/genre/logique-mathematique-cb11965690r), [Manuels d'enseignement supérieur](https://superlivre.fr/genre/manuels-denseignement-superieur-cb12167353z), [Théorèmes -- Démonstration automatique](https://superlivre.fr/genre/theoremes-demonstration-automatique-cb11977922s)
- **Éditions recensées** : 2 (2001–2003)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2001 | [Dunod](https://superlivre.fr/editeur/dunod) | Paris | 332 | 2-10-004892-9 |
| 2003 | [Dunod](https://superlivre.fr/editeur/dunod) | Paris | 352 | 2-10-006796-6 |