Otto, Martin <br/><br/>
Bounded variable logics and counting :  a study in finite models / 
Martin Otto 
 - Berlin :  Springer-Verlag,  1996 
 - 183 p. ;  25 cm. 
 - Lecture notes in logic  v.9 .
<br/><br/><label>ISBN: </label>3540620370  RM130.06 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Model theory<br/>Computational complexity