Logic and Automata