Présente les principaux domaines de la logique qui contribuent aux fondements de l'informatique. S'adresse aux étudiants des 2e et 3e cycles, ainsi qu'aux élèves ingénieurs.