Title: Logique, automatique, informatique
Subjects: Symbolic and mathematical Logic, Sequential machine theory, Abstract Algebra