TY - BOOK AU - "Esparza, Javier" TI - Finite and Algorithmic Model Theory SN - 9.78E+12 CY - Cambridge University Press N1 - includes index and biblioraphy ER -