1. 首页
  2. 移动开发
  3. 其他
  4. 友好的数学逻辑导论(Chris Leary)A Friendly Introduction to Mathematical Logic (Chris Leary

友好的数学逻辑导论(Chris Leary)A Friendly Introduction to Mathematical Logic (Chris Leary

上传者: 2020-08-09 12:43:52上传 TXT文件 317B 热度 27次
在这本用户友好的书中,向没有进行过本领域研究的读者介绍了模型理论,证明理论和可计算性理论的基础知识,从而为戈德尔的第一和第二不完全性定理提供了严格的证明。
下载地址
用户评论