Logic and Automata by