作者: 汪芳庭 出版社: 中国科学技术大学出版社 出版年: 1990年9月 页数: 273
2019-12-21 20:22:06 3.63MB 数理逻辑
1
国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。 下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。
2019-12-21 19:51:00 3.58MB 数理逻辑 汪芳庭
1