Introduction à la théorie de la démonstration

par Yacine Aggoune, David Appadourai, Sergio Galvan, Paolo Mancosu, Agathe Rolland, David Waszek, Richard Zach

Élimination des coupures, normalisation et preuves de cohérence

Crédits & contributions

EAN

TexteYacine Aggoune, David Appadourai, Sergio Galvan, Paolo Mancosu, Agathe Rolland, David Waszek, Richard Zach

ÉditeurVRIN
Parution15 décembre 2022
CollectionMATHESIS

Prix TTC

38,00€

Sur commande

Aucun résumé n'est disponible pour le moment.