Logic and Algebraic Structures in Quantum Computing 이 시리즈의 다른 책

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Lectures on Infinitary Model Theory

Ordinal Definability and Recursion Theory

A Guide to NIP Theories

Turing's Legacy