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

 - Berlin  Springer-Verlag  2004 
 - xiv; 315p 
 - Texts in theoretical computer science .
<br/><br/><label>ISBN: </label>3-540-21202-7 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Model theory<br/>Mathematics
<br/><br/><label>Dewey Class. No.: </label>511.34/LIB