INTERPOLATION AND DEFINABILITY IN MODAL LOGICS: MODAL AND INTUITIONISTIC LOGIC.
Series: OXFORD LOGIC GUIDES; 46
Publisher: CLARENDON/OXFORD
Place of publication: OXFORD
Language: und