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

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

• 
  集合论 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 电子书 下载

02-06

直观、语法和语义的清晰对照，澄清了很多原来很模糊的概念和定义。这本书是宏观上对一阶逻辑的简要概括，看完这个再分别看命题逻辑和谓词逻辑效果更佳。但是繁复的证明充斥其间，虽能看懂却仍无法自己证明。完全性定理实在有些难，先搁置吧~

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

Herbrand定理，相对化，解释

复习

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

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

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

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

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