2 books • 2 series
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS)
Multi-Dimensional Modal Logic (Applied Logic, #4)