Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relProducator: AMSTERDAM UNIV PR