Pillon, P. (2025). Paolo Mancosu, Sergio Galvan, Richard Zach, Introduction à la théorie de la démonstration: Élimination des coupures, normalisation et preuves de cohérence (Paris: Vrin, 2022), trad. de Yacine Aggoune, David Appadourai et Agathe Rolland, révisée par David Waszek, 135 × 215 mm, 588 p., bibliogr., index, table, coll. «Mathesis».
Cita Chicago (17th ed.)Pillon, Perceval. Paolo Mancosu, Sergio Galvan, Richard Zach, Introduction à La Théorie De La Démonstration: Élimination Des Coupures, Normalisation Et Preuves De Cohérence (Paris: Vrin, 2022), Trad. De Yacine Aggoune, David Appadourai Et Agathe Rolland, Révisée Par David Waszek, 135 × 215 mm, 588 p., Bibliogr., Index, Table, Coll. «Mathesis». 2025.
Cita MLA (8th ed.)Pillon, Perceval. Paolo Mancosu, Sergio Galvan, Richard Zach, Introduction à La Théorie De La Démonstration: Élimination Des Coupures, Normalisation Et Preuves De Cohérence (Paris: Vrin, 2022), Trad. De Yacine Aggoune, David Appadourai Et Agathe Rolland, Révisée Par David Waszek, 135 × 215 mm, 588 p., Bibliogr., Index, Table, Coll. «Mathesis». 2025.