Sergio Galvan
Livres de Sergio Galvan
Résultats : 1 à 1 sur 1 livre
Introduction à la théorie de la démonstration
Élimination des coupures, normalisation et preuves de cohérence
Auteurs : Sergio Galvan, Paolo Mancosu, Richard Zach
Éditeur : Vrin
Date de parution : 13/12/2022
Expédié sous 24h
Papier
38,00 €
