• 大小: 3.58MB
    文件类型: .xps
    金币: 1
    下载: 0 次
    发布日期: 2023-10-31
  • 语言: 其他
  • 标签: 数理逻辑  汪芳庭  

资源简介

国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。 下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。

资源截图

代码片段和文件信息

评论

共有 条评论