类别:书架：数学逻辑
 数学逻辑 这个书架上的书籍涉及数学逻辑：对逻辑的数学研究，以及将形式逻辑应用于数学其他领域。数学逻辑中的统一主题包括对形式系统表达能力的研究，以及对形式证明系统的演绎能力的研究。
|
|
子部分 | 
|
|
| ||
| 特色书籍 | 
| |
|
| ||
子类别
以下 9 个子类别可能与您相关，共 9 个子类别。
L
- 书籍：计算机科学逻辑 (9 页)
- 书籍：计算机科学家逻辑 (36 页)
M
- 书籍：数学证明和数学原理 (36 页)
- 书籍：建模理论与实践 (7 页)
数学逻辑 这个书架上的书籍涉及数学逻辑：对逻辑的数学研究，以及将形式逻辑应用于数学其他领域。数学逻辑中的统一主题包括对形式系统表达能力的研究，以及对形式证明系统的演绎能力的研究。
|
以下 9 个子类别可能与您相关，共 9 个子类别。