511.3 / G111I
Gabbay,D. M.
INTERPOLATION AND DEFINABILITY
/ MODAL AND INTUITIONISTIC LOGICS
.- Clarendon Press, Oxford, 2005
.- xiv,508 .
.- ( Oxford Logic Guides
ISBN: 0198511744
Subject Headings:
Interpolation;
Modality (Logic);
Definability Theory (Mathematical Logic);
Author Added Entry:
Maksimova,L.;
Copy Details:
Acc. No.: A157288, Full Call No.: 511.3 G111I, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------