"Finite and Algorithmic Model Theory" - читать интересную книгу автора (Javier Esparza, Christian Michaux, Charles Steinhorn)