首页 | 本学科首页   官方微博 | 高级检索  
     检索      

现代逻辑学理论分科
摘    要:现代逻辑学理论分科现代逻辑学基本理论是多方面的,大致分为四个方面:一,数理逻辑包括一阶逻辑、高阶逻辑、模型论、证明论、递归论和公理集合论;二,哲学逻辑包括经典逻辑的各种扩充和各种非经典逻辑,如模态逻辑、时态逻辑、条件句逻辑、多值逻辑、相干逻辑、直觉主...

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号