TY  - BOOK
AU  - Gabbay, D.M.
AU  - Maksimova, L.
TI  - Interpolation and Definability: Modal and Intuitionistic Logics
SN  - 0198511744
U1  - 511.3 GAB 
PY  - 2005///
CY  - Oxford
PB  - Clarendon Press
KW  - Definability theory (Mathematical logic)
KW  - Interpolation
KW  - Modality (Logic)
N1  - <p>Contents:</p>

<p><span style="line-
ER  -