"Logic and automata: History and perspectives" - читать интересную книгу автора (Jorg Flum, Erich Gradel, Thomas Wilke)