Sergio Galvan Biographie Contributions de Sergio Galvan Auteur Introduction à la théorie de la démonstration, Élimination des coupures, normalisation et preuves de cohérence Richard Zach, Paolo Mancosu, Sergio Galvan 38,00
Introduction à la théorie de la démonstration, Élimination des coupures, normalisation et preuves de cohérence Richard Zach, Paolo Mancosu, Sergio Galvan 38,00