Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems / [electronic resource] :

• 作者： Carnielli, Walter.
• 其他作者：
  • Coniglio, Marcelo.
  • Gabbay, Dov M.
  • Gouveia, Paula.
  • Sernadas, Cristina.
  • SpringerLink (Online service)
• 出版： Dordrecht : Springer Science+Business Media B.V.
• 叢書名： Applied Logic Series,35
• 主題： Logic, Symbolic and mathematical , Mathematics , Logic , Mathematical Logic and Formal Languages. , Mathematical Logic and Foundations.
• ISBN： 9781402067822 (electronic bk.) 、 9781402067815 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: