Interpolation and definability : modal and intuitionistic logics

Author(s)

• Gabbay, Dov M.
• Maksimova, L.

Bibliographic Information

Interpolation and definability : modal and intuitionistic logics

D.M. Gabbay, L. Maksimova

（Oxford logic guides, 46）

Clarendon Press, 2005

Note

Includes bibliographical references (p. 484-502) and index

Details

• NCID: BA7283267X
• ISBN:
  • 0198511744
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Oxford
• Pages/Volumes: xiv, 508 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA00017765