Descriptive complexity, canonisation and definable graph structure theory by Grohe, Martin fromLecture notes in logic 0 Type: Book