数理逻辑 汪芳庭 XPS文档可用IE直接打开 国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。 语言: 其他 大小: 类型: tag: 上传人:zhanzhil 上传时间:2023-09-30 1 1条