Éléments de logique pour servir à l'enseignement mathématique — Josette Adda, Wilfred Faivre