Cours sur les systèmes logiques (Mm. Neila Ouerghemmi et Mm. Tarhouni wafa)