Mathesis universalis, computability and proof

• 其他作者：
  • Centrone, Stefania, editor.
  • Negri, Sara, editor.
  • Sarikaya, Deniz, editor.
  • Schuster, Peter M., editor.
  • SpringerLink (Online service)
• 其他題名：
  • Synthese library, studies in epistemology, logic, methodology, and philosophy of science ;
• 出版： Cham : Springer International Publishing :Imprint: Springer
• 叢書名： Synthese library, studies in epistemology, logic, methodology, and philosophy of science ;volume 412
• 主題： Proof theory. , Logic. , Mathematical Logic and Foundations. , Mathematical Logic and Formal Languages.
• ISBN： 9783030204471 (electronic bk.) 、 9783030204464 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: