《数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍,对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定理的一种易证形式。
评分给力给力给力给力给力给力给力
评分建议看看德国数学家希尔伯特的《数理逻辑》,比这本写的好多了。
评分不错哈,便宜实惠哈!
评分数理逻辑,学习胡赛尔,海德格尔必修的内容。
评分质量不错,内容也很不错,,,,
评分很好的教材,有深度,很喜欢
评分能用,正品书
评分京东永远好评
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.idnshop.cc All Rights Reserved. 静思书屋 版权所有