1 “...; the mathematical perspective (of logic, automata theory, and probability theory), presenting less well-known work...”