Automata, logics, and infinite games by Erich Grädel | Menrva Books | MenrvaBooks