Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) by Erich Grädel | Menrva Books | MenrvaBooks