图书标签: 逻辑学  逻辑  数理逻辑  学术  逻辑-哲学  哲学  人大教材  逻辑与语言   

喜欢 数理逻辑教程 的读者还喜欢

• 
  数理逻辑引论 pdf epub mobi txt 电子书 下载
• 
  语言的逻辑分析 pdf epub mobi txt 电子书 下载
• 
  逻辑学 pdf epub mobi txt 电子书 下载
• 
  数理逻辑 pdf epub mobi txt 电子书 下载
• 
  亚里士多德的逻辑学说 pdf epub mobi txt 电子书 下载
• 
  数理逻辑 pdf epub mobi txt 电子书 下载
• 
  逻辑基础 pdf epub mobi txt 电子书 下载
• 
  逻辑学十五讲 pdf epub mobi txt 电子书 下载
• 
  语言学中的逻辑 pdf epub mobi txt 电子书 下载
• 
  证明与反驳 pdf epub mobi txt 电子书 下载

和AG汉密尔顿的数理逻辑基本相似

【已存柜】 p84最后一个“J”或应改为“N” p138最后一个“z”或应改为“y” p176“(3) ├¬A→(A→B”或应添上“)” p237“所以由推论题34.2”或应删去“题” p242“Q8”或应改为“Q9” p290“假设A是L₂的任意一个普遍有效的公式（开公式或闭公式），则由定理40.8，A的任意一个封闭Aᒼ是普遍有效的”或应删去“由定理40.8，”，因为没有一个“定理40.8” p321所有的“∀x∀x∀x∀w”或都应改为“∀x∀y∀z∀w” p323“由公理4”或应改为“由公理14” p324“m+nn（上有横杆——引用者注）”或应改为“m+1n（同上）” p331的两个“可满足性”或都应改为“可定义性” p332和p333所有的“∀x”或都应改为“∀z”

和AG汉密尔顿的数理逻辑基本相似

宏观上比徐明的清晰，细节上不太好，另外证明中的自然语言太多了，反而不直观。

【已存柜】 p84最后一个“J”或应改为“N” p138最后一个“z”或应改为“y” p176“(3) ├¬A→(A→B”或应添上“)” p237“所以由推论题34.2”或应删去“题” p242“Q8”或应改为“Q9” p290“假设A是L₂的任意一个普遍有效的公式（开公式或闭公式），则由定理40.8，A的任意一个封闭Aᒼ是普遍有效的”或应删去“由定理40.8，”，因为没有一个“定理40.8” p321所有的“∀x∀x∀x∀w”或都应改为“∀x∀y∀z∀w” p323“由公理4”或应改为“由公理14” p324“m+nn（上有横杆——引用者注）”或应改为“m+1n（同上）” p331的两个“可满足性”或都应改为“可定义性” p332和p333所有的“∀x”或都应改为“∀z”