Information and Knowledge A Constructive Type-theoretical Approach / [electronic resource] :

• 作者： Primiero, Giuseppe.
• 其他作者：
  • SpringerLink (Online service)
• 出版： Dordrecht : Springer Science + Business Media B.V
• 叢書名： Logic, Epistemology, and the Unity of Science ;10
• 主題： Computer science , Genetic epistemology. , Logic, Symbolic and mathematical , Philosophy , Epistemology. , Logic , Mathematical Logic and Formal Languages. , Mathematical Logic and Foundations. , Philosophy
• ISBN： 9781402061707 (electronic bk.) 、 9781402061691 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: