Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity - Skrzypczak, Michał (Springer Berlin Heidelberg : Imprint: Springer, 2016)