Libkin, Leonid <br/><br/>
Elements of finite model theory 

 - 
 - Germany  Springer-Verlag  2004 
 - xiv, 315p.   
<br/><br/>   
<br/><br/><label>ISBN: </label>3-540-21202-7 
<br/><br/><label>ISSN: </label>
<br/><br/><label>Subjects--Index Terms: </label>Finite model theory  Computational mathematics 
<br/><br/><label>Dewey Class. No.: </label>519.6