更新时间：2023-08-14 21:02:21
封面
版权信息
致谢页
序
第一章 引论
第二章 直觉主义与否定概述
第一节 直觉主义概述
第二节 否定概念的历史回顾
第三节 非经典逻辑否定概要
第三章 直觉主义否定
第一节 形式语言和形式系统
第二节 形式语义和可靠性
第三节 完全性
第四章 直觉主义否定的强化与弱化
第五章 直觉主义否定的动态化
第六章 直觉主义否定与更新语义
第七章 总结
参考文献
后记
