Interpolation and definability
Subtitle: modal and intuitionistic logics
By: D.M. Gabbay, L.Maksimova.
Contributors: Maksimova, L. L.
Series: Oxford logic guides ;; 46
Publisher: Clarendon Press
Published: 2005
Place of publication: Oxford; New York
Language: eng
Number of pages: 508
Subjects: Interpolation.; Modality (Logic); Definability theory (Mathematical logic)
Notes: Includes bibliographical references and index.