Sergio Galvan
Biographie
Contributions de Sergio Galvan
-
Introduction à la théorie de la démonstration, Élimination des coupures, normalisation et preuves de cohérenceRichard Zach, Paolo Mancosu, Sergio GalvanVrin38,00
Ouvert le lundi de 14h30 à 19h30 et du mardi au samedi de 10h à 19h30