# Introduction à la théorie de la démonstration : élimination des coupures, normalisation et preuves de cohérence

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

- **Auteurs** : [Paolo Mancosu](https://superlivre.fr/auteur/paolo-mancosu-cb13494109g) (1960–), [Sergio Galvan](https://superlivre.fr/auteur/sergio-galvan-cb12096351g) (1946–), [Richard Zach](https://superlivre.fr/auteur/richard-zach-cb18067641f)
- **traducteurs** : [Yacine Aggoune](https://superlivre.fr/auteur/yacine-aggoune-cb180676465), [David Appadourai](https://superlivre.fr/auteur/david-appadourai-cb18067648v), [Agathe Rolland](https://superlivre.fr/auteur/agathe-rolland-cb180676496)
- **Première parution** : 2022
- **Langue** : français
- **Genres** : [Théorie de la démonstration](https://superlivre.fr/genre/theorie-de-la-demonstration-cb122670310)
- **Éditions recensées** : 1 (2022–2022)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2022 | [libr. philosophique J. Vrin](https://superlivre.fr/editeur/philosophique-j-vrin) | Paris | 588 | 978-2-7116-3091-2 |