TY - BOOK AU - Esparza, Javier TI - Finite And Algorithmic Model Theory SN - 9780521718202 U1 - 511.34 PY - 2011/// PB - Cambridge KW - Mathematics ER -