# Initiation à la logique formelle : avec exercices corrigés

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

- **Auteurs** : [Thierry Lucas](https://superlivre.fr/auteur/thierry-lucas-cb144748648), [Isabelle Berlanger](https://superlivre.fr/auteur/isabelle-berlanger-cb144748946), [Isabelle De Greef](https://superlivre.fr/auteur/isabelle-de-greef-cb14474896w), [Vincent Degauquier](https://superlivre.fr/auteur/vincent-degauquier-cb169927553)
- **Première parution** : 2003
- **Langue** : français
- **Genres** : [Proposition (logique)](https://superlivre.fr/genre/proposition-logique-cb119571403), [Prédicat (logique)](https://superlivre.fr/genre/predicat-logique-cb119373120)
- **Éditions recensées** : 3 (2003–2014)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2003 | [De Boeck](https://superlivre.fr/editeur/de-boeck) | Bruxelles. - [Paris] | 233 | 2-8041-4299-X |
| 2007 | [De Boeck](https://superlivre.fr/editeur/de-boeck) | Bruxelles. - [Paris] | 233 | 978-2-8041-5368-7 |
| 2014 | [De Boeck supérieur](https://superlivre.fr/editeur/de-boeck-superieur) | Louvain-la-Neuve. - [Paris] | 263 | 978-2-8041-8248-9 |