Paolo Mancosu Biographie Contributions de Paolo Mancosu Auteur Autres contributions 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 Infini, logique, géométrie Paolo Mancosu 34,00 Le voyage secret du Docteur Jivago, Le roman du roman Paolo Mancosu, Dominique Macabies 27,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