Introduction à la théorie de la démonstration de Paolo Mancosu, Sergio Galvan, Richard Zach — Avis et clubs de lecture | Booklub