Finite model theory 
Ebbinghaus, Heinz-Dieter, 
 - 2nd rev. and enl. ed. 1999 
 - New York, NY :  Springer,  2006 
 - xi, 360 p. 
 - Springer monographs in mathematics, .
<br/><br/><label>ISBN: </label>9783540287872 (alk. paper) | 3540287876 (alk. paper)