单项选择题
特别是()在1930年的博士论文中证明了一阶谓词逻辑的完全性,标志着现代逻辑基础理论的成熟。
A.亚里士多德B.哥德尔C.罗素D.怀特海
单项选择题 以下哪一个属于纯逻辑内容()
多项选择题 现代逻辑已经发展成为一个非常庞大的学科门类。它主要包括哪些学科分支()
单项选择题 古希腊,()建立了系统的形式逻辑体系。