Title: Informatique théorique; circuits de logique combinatoire
Subjects: Switching theory, Symbolic and mathematical Logic