# Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité

> Fiche œuvre du catalogue https://superlivre.fr/livre/les-demonstrations-et-les-algorithmes-c28a0650d25c (données du dépôt légal BnF).

- **Auteur** : [Gilles Dowek](https://superlivre.fr/auteur/gilles-dowek-cb12099604h) (1966–2025)
- **Première parution** : 2010
- **Langue** : français
- **Genres** : [Algorithmes](https://superlivre.fr/genre/algorithmes-cb119358199), [Logique mathématique](https://superlivre.fr/genre/logique-mathematique-cb11965690r)
- **Éditions recensées** : 1 (2010–2010)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2010 | [Éd. de l'École polytechnique](https://superlivre.fr/editeur/de-lecole-polytechnique) | Palaiseau | 193 | 978-2-7302-1569-5 |