"Esparza, Javier" <br/><br/>
Finite and Algorithmic Model Theory 

 - \\201100ENGGPSX 
 - Cambridge University Press   2011  Cambridge  
 - 341p.  
<br/><br/> includes index and biblioraphy 
<br/><br/><label>ISBN: </label>9.78E+12