Dual tableaux foundations, methodology, case studies / [electronic resource] :

• 作者： Orlowska, Ewa.
• 其他作者：
  • Golinska Pilarek, Joanna.
  • SpringerLink (Online service)
• 其他題名：
  • Trends in Logic ;
• 出版： Dordrecht : Springer Netherlands
• 叢書名： Trends in Logic ;v.33
• 主題： Logic , Mathematics , Mathematical Logic and Foundations. , Mathematical Logic and Formal Languages. , Logic
• ISBN： 9789400700055 (electronic bk.) 、 9789400700048 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: