Introduction à la théorie de la démonstration
Élimination des coupures, normalisation et preuves de cohérence
Crédits & contributions
EAN
Prix TTC
38,00€
Sur commande
Titre disponible chez l’éditeur, commande possible sur demande.
Aucun résumé n'est disponible pour le moment.