TY  - BOOK
AU  - Gabbay,D. M.
AU  - Maksimova,L.
TI  - INTERPOLATION AND DEFINABILITY
SN  - 0198511744
U1  - 511.3 
PY  - 2005///
CY  - 
PB  - Clarendon Press, Oxford
KW  - Interpolation
KW  - Modality (Logic)
KW  - Definability Theory (Mathematical Logic)
ER  -