GRADEL, ERICH <br/><br/>
FINITE MODEL THEORY AND ITS APPLICATIONS. 

 -  2010 
 - NEW DELHI  SPRINGER SCIENCE+BUSINESS MEDIA 
 - 437 
<br/><br/><label>Subjects--Topical Terms: </label><br/>  FINITE MODEL THEORY
<br/><br/><label>Dewey Class. No.: </label>670.285.285  / GRA