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

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

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