国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。 下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
- 1
- 2
- 3
- 4
前往页