Title: Finite Automata, Formal Logic, and Circuit Complexity
Subjects: Computational complexity, Logic, symbolic and mathematical, Machine theory, Computer science, mathematics