Mancosu, Paolo, Sergio Galvan, and Richard Zach. 2022. Introduction à la théorie de la démonstration: Élimination des coupures, normalisation et preuves de cohérence. Paris: Vrin. Traduction française de An Introduction to Proof Theory. Cet ouvrage offre une introduction accessible à la théorie de la démonstration : il donne les détails des preuves et comporte de nombreux … Continue reading Introduction à la théorie de la démonstration: Élimination des coupures, normalisation et preuves de cohérence
![Couverture du livre "Introduction à la théorie de la démonstration Élimination des coupures, normalisation et preuves de cohérence" par P. Mancosu, S. Galvan, et R. Zach](https://i0.wp.com/richardzach.org/wp-content/uploads/2022/12/tdlivre.png?fit=772%2C1034&ssl=1)