数理逻辑

分类包含 40 篇文章

子分类：数理逻辑学家 | 模态逻辑 | 计算机逻辑 | 模型论

外延性

论域

优化问题

非直谓性

逻辑等价

数学原理

唯一量化

演绎推理

非构造性证明

句子 (数理逻辑)