Philosophie symbolique et algèbre de la logique — Souleymane Bachir Diagne