Finite and algorithmic model theory / 
edited by Javier Esparza, Christian Michaux, Charles Steinhorn 
 - New York :  Cambridge University Press,  2011 
 - xi, 341 p. :  ill. ;  23 cm. 
 - London Mathematical Society lecture note series ;  . 379 .
<br/><br/><label>ISBN: </label>9780521718202 (pbk.) 0521718201 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Finite model theory<br/>Computer science--Mathematics.
<br/><br/><label>LC Class. No.: </label>QA9.7  / .F56 2011