M. Grohe, Descriptive Complexity, Canonisation, and Definable Graph Structure Theory, Cambridge University Press, Cambridge, 2017, x + 544 pp.

DOI10.1017/bsl.2018.1WikidataQ60016236 ScholiaQ60016236MaRDI QIDQ4640307

Luc Segoufin

Publication date: 17 May 2018

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2018.1

Mathematics Subject Classification ID

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03D15: Complexity of computation (including implicit computational complexity)

05C99: Graph theory

03C65: Models of other mathematical theories

00A17: External book reviews