Éléments de logique formelle, Gérard Chazal · Super Livre