Title: Logic and automata
Subjects: Machine theory, Mathematics, Computational complexity, Symbolic and mathematical Logic, Computer science, Science: general issues, Logic, symbolic and mathematical