Logic and automata | lit.salon