Logic and automata history and perspectives - Flum, Jörg; Grädel, Erich, 1958-; Wilke, Thomas, 1965- (Texts in logic and games, 2008)