图书标签: 逻辑  数理逻辑  一阶理论  逻辑学  哲学  叶峰  逻辑人  逻辑-哲学   

喜欢 一阶逻辑和一阶理论 的读者还喜欢

• 
  集合论 pdf epub mobi txt 电子书 下载
• 
  数理逻辑 pdf epub mobi txt 电子书 下载
• 
  数理逻辑通俗讲话 pdf epub mobi txt 电子书 下载
• 
  数理逻辑 pdf epub mobi txt 电子书 下载
• 
  数理逻辑引论 pdf epub mobi txt 电子书 下载
• 
  Elements of Set Theory pdf epub mobi txt 电子书 下载
• 
  Godel's Incompleteness Theorems pdf epub mobi txt 电子书 下载
• 
  Logic for Mathematicians pdf epub mobi txt 电子书 下载
• 
  数学哲学 pdf epub mobi txt 电子书 下载
• 
  Set Theory pdf epub mobi txt 电子书 下载

复习

Herbrand定理，相对化，解释

错误不多，说的不清楚的地方不少。看这本不如直接去看艾宾浩斯的数理逻辑。

错误不多，说的不清楚的地方不少。看这本不如直接去看艾宾浩斯的数理逻辑。

02-06

逻辑似乎无可挽回的衰落了，叶峰的书出版于1994年，这么多年都没有再版了，辗转请朋友把这本书复印了一本，字体模糊，符号不清，多希望能够出一个新版，这样的一本书，怎么也是应该的！这本书比徐明的那一本内容上更有深度，能把后面的题目做完，书读好，不容易。还在读，还在...

逻辑似乎无可挽回的衰落了，叶峰的书出版于1994年，这么多年都没有再版了，辗转请朋友把这本书复印了一本，字体模糊，符号不清，多希望能够出一个新版，这样的一本书，怎么也是应该的！这本书比徐明的那一本内容上更有深度，能把后面的题目做完，书读好，不容易。还在读，还在...

逻辑似乎无可挽回的衰落了，叶峰的书出版于1994年，这么多年都没有再版了，辗转请朋友把这本书复印了一本，字体模糊，符号不清，多希望能够出一个新版，这样的一本书，怎么也是应该的！这本书比徐明的那一本内容上更有深度，能把后面的题目做完，书读好，不容易。还在读，还在...

逻辑似乎无可挽回的衰落了，叶峰的书出版于1994年，这么多年都没有再版了，辗转请朋友把这本书复印了一本，字体模糊，符号不清，多希望能够出一个新版，这样的一本书，怎么也是应该的！这本书比徐明的那一本内容上更有深度，能把后面的题目做完，书读好，不容易。还在读，还在...

逻辑似乎无可挽回的衰落了，叶峰的书出版于1994年，这么多年都没有再版了，辗转请朋友把这本书复印了一本，字体模糊，符号不清，多希望能够出一个新版，这样的一本书，怎么也是应该的！这本书比徐明的那一本内容上更有深度，能把后面的题目做完，书读好，不容易。还在读，还在...