Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein