Descriptive set theoretic methods in automata theory. Decidability and topological complexity

From MaRDI portal