Introduction à la théorie de la démonstration — Paolo Mancosu, Sergio Galvan, Richard Zach