Finite and Algorithmic Model Theory by Javier Esparza