多项选择题
A.完善了三段论的四个格B.对复合命题进行真值函项解释，发展了推论学说C.进一步发展了模态逻辑D.比较细致地讨论了各种悖论问题E.建立了各种各样的非经典逻辑系统
特别是（）在1930年的博士论文中证明了一阶谓词逻辑的完全性，标志着现代逻辑基础理论的成熟。A.亚里士多德B....
单项选择题特别是（）在1930年的博士论文中证明了一阶谓词逻辑的完全性，标志着现代逻辑基础理论的成熟。
A.亚里士多德B.哥德尔C.罗素D.怀特海
以下哪一个属于纯逻辑内容（）A.原理论B.拓展研究C.直觉主义逻辑D.逻辑应用及其与其他学科的交叉等
单项选择题以下哪一个属于纯逻辑内容（）
A.原理论B.拓展研究C.直觉主义逻辑D.逻辑应用及其与其他学科的交叉等
现代逻辑已经发展成为一个非常庞大的学科门类。它主要包括哪些学科分支（）A.纯逻辑B.直觉主义逻辑C.逻辑应用及...
多项选择题现代逻辑已经发展成为一个非常庞大的学科门类。它主要包括哪些学科分支（）
A.纯逻辑B.直觉主义逻辑C.逻辑应用及其与其他学科的交叉等D.弗协调逻辑E.应用逻辑
