同类推荐
-
-
学术智能体:巧用Academic Agent高效做科研
-
¥69.00
-
-
预测之书:1000天后的世界
-
¥118.00
-
-
魔盒:第四次工业革命与不确定的未来
-
¥78.00
-
-
城市集群创新网络知识共享问题研究
-
¥88.00
-
-
创新能力训练与应用:AI赋能版
-
¥56.00
-
-
培养孩子创造力的50个细节
-
¥58.00
-
-
智能论:适应的逻辑
-
¥98.00
-
-
英语科技论文写作
-
¥49.80
-
-
网络知识社区核心用户识别与推荐
-
¥168.00
-
-
学术规范与科研诚信概论
-
¥79.80
|
|
图书信息
|
|
|
|
公理化真理论研究
|
| ISBN: | 9787303289547 |
定价: | ¥98.00 |
| 作者: | 李娜,李晟著 |
出版社: | 北京师范大学出版社 |
| 出版时间: | 2023年05月 |
开本: | 24cm |
| 页数: | 11,11,354页 |
装祯: | 精装 |
中图法: | G304 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
18
|
基金1/库区4/样本4
|
2026-02-23
|
|
|
|
|
|
图书简介 | | 本书内容包括三方面:第一个方面:以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索,对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面:减弱经典公理化真理论的基础理论,将一阶逻辑减弱为直觉主义逻辑,系统地研究基于直觉主义逻辑的公理化真理论。第三个方面:加强经典公理化真理论的基础理论,将皮亚诺算术加强为集合论,系统地研究基于集合论的公理化真理论。 |
|