数理逻辑

【书名】 数理逻辑
【作者】 汪芳庭编
【出版社】 合肥中国科学技术大学出版社
【出版时间】 2010.09
【关键词】 数理逻辑研究生教材
【摘要描述】 本书内容分两部分第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。
第二部分为形式算术与不完备性定理。
本书对第一部完备性定理、定理、定理及形式算术的不可判定性定理都提供了完整的证明。
本书可用作计算机专业研究生或高年级本科生教材。
【中国图书分类号】 O141

在线工具导航