Texts in Theoretical Computer Science. an EATCS Ser.: Universal Artificial...

Texts in Theoretical Computer Science. an Eatcs Ser.: Practical Theory of...

Elements of Finite Model Theory by Leonid Libkin: Used

Complexity Theory of Real Functions (Progress in Theoretical Computer Science)

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATC,

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS

Texts in Theoretical Computer Science. an Eatcs Ser.: Dissemination of...

The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)