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

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
2017년
Lectures on Infinitary Model Theory Lectures on Infinitary Model Theory
2016년
Ordinal Definability and Recursion Theory Ordinal Definability and Recursion Theory
2015년
A Guide to NIP Theories A Guide to NIP Theories
2015년
Turing's Legacy Turing's Legacy
2014년