TY  - BOOK
AU  - Gabbay,Dov M.
AU  - Maksimova,L.L.
ED  - Oxford eBooks.
TI  - Interpolation and definability: modal and intuitionistic logic 
T2  - Oxford logic guides
AV  - QA9.46 
U1  - 511.3 22
PY  - 2005///
CY  - Oxford
PB  - Oxford University Press
KW  - Modality (Logic)
KW  - Interpolation
KW  - Definability theory (Mathematical logic)
KW  - Electronic books
KW  - local
N1  - Includes bibliographical references and index
N2  - This monograph looks at interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming philosophy of science, and natural language
UR  - http://ezproxy.alfaisal.edu/login?url=http://dx.doi.org/10.1093/acprof:oso/9780198511748.001.0001
ER  -