Eléments de logique — Vincent Edward Smith