Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Martin Grohe
Lectures on Infinitary Model Theory
David Marker
Logic and Algebraic Structures in Quantum Computing
Jennifer Chubb, Ali Eskandarian & Valentina Harizanov
Ordinal Definability and Recursion Theory
Alexander S. Kechris
A Guide to NIP Theories
Pierre Simon
Turing's Legacy
Rod Downey