... 高阶逻辑 higher-order logic 非古典逻辑 non-classical logic 无穷逻辑 infinitary logic ...
基于20个网页-相关网页
非古典逻辑
Non-classical logic
以上为机器翻译结果，长、整句建议使用 人工翻译 。
此一运动关注于整个古典体式的逻辑，而非古典复生主义倾向重新使用古典的成份。
The movement concerned itself with the logic of entire Classical volumes, unlike Classical revivalism, which tended to reuse Classical parts.
youdao
应用推荐
模块上移
模块下移
不移动