Gabbay, D.M. <br/><br/>
Interpolation and Definability: Modal and Intuitionistic Logics 
by D.M. Gabbay 
 - Oxford  Clarendon Press  2005 
 - viii, 508p. 
<br/><br/><p>Contents:</p><br/><br/><p><span style="line- 
<br/><br/><label>ISBN: </label>0198511744 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Definability theory (Mathematical logic)<br/>Interpolation.<br/>Modality (Logic)
<br/><br/><label>Dewey Class. No.: </label>511.3 GAB