Interpolation and Definability Modal and Intuitionistic Logics [electronic resource] :

• 作者： Gabbay, Dov M.
• 其他作者：
  • Maksimova, Larisa
  • Oxford University Press
• 其他題名：
  • Oxford scholarship online
• 出版： Oxford : Oxford University Press
• 主題： Interpolation , Modality (Logic) , Definability theory (Mathematical logic) , Interpolatie. , Definieerbaarheid. , Modale logica. , Intui℗·tionisme.
• ISBN： 0198511744
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: