Partie I: la logique de la logique propositionnelle et prédicat. -- ... Partie II:
Structures discrètes. -- ... expliciter diverses méthodes de parcours de graphes. --
... Livres : --. Introductory Logic and Sets for Computer Scientists par Nimal
Nissanke. 
