直觉主义逻辑
- 网络intuitionistic logic; intuitionism logic; intuitionist logic
直觉主义逻辑直觉主义逻辑
intuitionistic logic
在数学中，接受爆炸原理的逻辑有经典逻辑（classical logic）、直觉主义逻辑（intuitionistic logic）等等。那就是说，还有不接 …
intuitionism logic
...c, 表达“必然”与“可能”这样一些概念的逻辑）和直觉主义逻辑（intuitionism logic）。
intuitionist logic
翻译与翻译辅助工... ... 直觉主义||intuitionism 直觉主义逻辑||intuitionist logic 直觉主义数学||intuitionistic mathematics ...
1