数理逻辑

删除本页内容

作者:汪芳庭编著

ISBN:1978-7-312-02708-62

关键词:数理逻辑-研究生-教材

页数:205

出版社: 合肥：中国科学技术大学出版社

出版日期:2010.09

本书2025年6月12日可阅读或下载

本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书对Godel第一部完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理都提供了完整的证明。本书可用作计算机专业研究生或高年级本科生教材。

数理逻辑-研究生-教材

发布留言

用户须知：

1.如果要找《数理逻辑》，可以尝试去图书馆。

2.本页面文字和图片内容来自于http://m.5read.com/。

3.封皮图片地址:https://cover.duxiu.com/coverNew/CoverNew.dll?iid=696a676e6f6c676a686e5ea6a797af99ac9daaa599aaa33331323730393338