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