Elements de logique contemporaine / avec exercices corriges