Ordinal Definability and Recursion Theory Other Books in This Series

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Lectures on Infinitary Model Theory

Logic and Algebraic Structures in Quantum Computing

A Guide to NIP Theories

Turing's Legacy