Title: Finite automata, formal logic, and circuit complexity
Subjects: Automata, Computational complexity, Computer science, Mathematics, Symbolic and mathematical Logic, Logic, symbolic and mathematical, Computer science, mathematics, Machine theory