TY  - BOOK
AU  - Gabbay,Dov M.
AU  - Maksimova,L.L.
TI  - Interpolation and definability: modal and intuitionistic logics 
SN  - 0198511744 (hbk.)
U1  - 511.3   22
PY  - 2005///
CY  - Oxford, New York
PB  - Clarendon Press
KW  - Interpolation
KW  - Modality (Logic)
KW  - Definability theory (Mathematical logic)
N1  - Includes bibliographical references and index
ER  -