Esparza, Javier  <br/><br/>
Finite and algorithmic model theory/ 
Javier Esparza, Christian Michaux, Charles Steinhorn 
 - United Kingdom;  Cambridge University Press,  c2011. 
 - xi;  341 pages 
<br/><br/> Includes bibliographical references. 
<br/><br/><label>ISBN: </label>9780521718202 paperback 
<br/><br/><label>Subjects--Personal Names: </label><br/>Esparza, Javier <br/>Michaux, Christian<br/>Steinhorn, Charles 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Finite model theory<br/>Computer science--mathematics
<br/><br/><label>Dewey Class. No.: </label>530