3 books • 4 series
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS) (Texts in Theoretical Computer Science)
Finite Model Theory: Springer Monographs in Mathematics
Mathematical Logic (Undergraduate Texts in Mathematics) (Springer Series in Language and Communication)