Quantifiers : logics, models, and computation 
edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba 
 - Dordrecht ; Boston  Kluwer Academic Publishers  c1995 
 - 2 v. : ill. ; 23 cm 
<br/><br/> Includes bibliographical references and indexes 
<br/><br/><label>ISBN: </label>9780792334484 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Model theory
<br/><br/><label>Dewey Class. No.: </label>511.3 KRY