"Logic and Automata: History and Perspectives (AUP - Texts in Logic and Games)" - читать интересную книгу автора (Jorg Flum, Erich Gradel, Thomas Wilke)