这次修改,全面仔细,但全书的框架与主要内容均无太大变动,前两章(命题、谓词演算)突出了基本内容,比原来的更有层次,读者若以Godel不完备性定理为主要目标,则可专注这两个演算的建立及各自的可靠性、完全性,略去其他课题(包括几处所附材料)后进入第3章。
本书作为数理逻辑基础教材,所涉及的形式系统均采用可数语言,含不可数语言的更一般理论,通常归属数理逻辑更专门的领域——模型论。
网站首页 软件下载 游戏下载 翻译软件 电子书下载 电影下载 电视剧下载 教程攻略
霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。