Title: Logique et automates
Subjects: Machine theory, Coding theory, Symbolic and mathematical Logic