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