Finite and Algorithmic Model Theory door Javier Esparza