Richard Zach Biographie Contributions de Richard Zach 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