数理逻辑基础（下册）

作者: 胡世华 / 陆钟万
出版社: 科学出版社
副标题: 现代数学基础丛书
出版年: 1982年8月
页数: 206
定价: 1.10元
装帧: 平装
丛书: 现代数学基础丛书
统一书号: 13031-1948
评价人数不足
评价:

丛书信息  · · · · · ·

　　现代数学基础丛书(共181册)， 这套丛书还有 《非线性动力系统分析引论》《无穷维线性系统控制理论（第二版）》《完美数与斐波那契序列》《拓扑动力系统概论》《动力系统的定性与分支理论》 等 。

短评  · · · · · ·  ( 全部 1 条 )

热门 / 最新 /

  • 1 佳木斯的菠萝 2017-12-11 17:59:28

    从各个形式演绎系统所对应的重言式系统开始讲起，并介绍各自的性质和彼此之间的关系。接着从赋值到可靠性，再到完备性（给出哥德尔和亨金的两种证明方式）。在这部分内容后提到紧致性和独立性。最后一章讲到各个数学系统并提及哥德尔不完备性定理。

  • 1 佳木斯的菠萝 2017-12-11 17:59:28

    从各个形式演绎系统所对应的重言式系统开始讲起，并介绍各自的性质和彼此之间的关系。接着从赋值到可靠性，再到完备性（给出哥德尔和亨金的两种证明方式）。在这部分内容后提到紧致性和独立性。最后一章讲到各个数学系统并提及哥德尔不完备性定理。

> 更多短评 1 条

我要写书评

数理逻辑基础（下册）的书评 · · · · · · ( 全部 0 条 )

论坛  · · · · · ·

这本书的其他版本  · · · · · ·  ( 全部2 )

以下书单推荐  · · · · · ·  ( 全部 )

谁读这本书?  · · · · · ·

凡事一定要往好
凡事一定要往好
2023年5月23日 读过


豆友CSpijbyMOA
豆友CSpijbyMOA
2023年1月11日 读过


长空
长空
2022年7月8日 在读


> 2人在读

> 9人读过

> 29人想读

二手市场  · · · · · ·

订阅关于数理逻辑基础（下册）的评论:
feed: rss 2.0