Logique et mathématique, Gérard Potdevin · Super Livre