Descriptive Complexity, Canonisation, and Definable Graph Structure Theory: 47 (Lecture Notes in Logic, Series Number 47)

Abstract Recursion and Intrinsic Complexity: Series Number 48 (Lecture Notes in Logic, 48)

Complexity, Logic, and Recursion Theory (Lecture Notes in Pure Applied Mathematics Book 187)

Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity (Lecture...

Model Theory of Stochastic Processes: Lecture Notes in Logic 14 (Lecture Logic, 14)