Martin Grohe is a Professor of Theoretical Computer Science at RTWH Aachen University, Germany, where he holds the Chair for Logic and the Theory of Discrete Systems. His research interests are in theoretical computer science interpreted broadly, including logic, algorithms and complexity, graph theory, and database theory.
'The book is divided evenly into two parts. Part I gives background and definitions of the main notions, and makes the book self-contained. Many results from descriptive complexity theory, and the author's earlier results, are clearly presented. Part II is devoted to the main theorem about graphs with excluded minors. The book ends with a symbol index and an index.' Pascal Michel, Mathematical Reviews 'The book is divided evenly into two parts. Part I gives background and definitions of the main notions, and makes the book self-contained. Many results from descriptive complexity theory, and the author's earlier results, are clearly presented. Part II is devoted to the main theorem about graphs with excluded minors. The book ends with a symbol index and an index.' Pascal Michel, Mathematical Reviews