Title: Eléments de logique contemporaine avec exercices et corrigés