国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。
下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。
代码片段和文件信息
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件举报，一经查实，本站将立刻删除。
评论列表（条）