Gabbay, Dov M.,  1945- <br/><br/>
Interpolation and definability :  modal and intuitionistic logics / 
D.M. Gabbay, L.Maksimova. 
 - Oxford ;  New York :  Clarendon Press,  2005. 
 - xiv, 508 p. ;  24 cm. 
 - Oxford logic guides ;  46 .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0198511744 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Interpolation.<br/>Modality (Logic)<br/>Definability theory (Mathematical logic)
<br/><br/><label>Dewey Class. No.: </label>511.3    / G112