Philosophie des mathématiques Tome 2 ; logique, preuve et pratiques de Sébastien Gandon, Ivahn Smadja | Booklub