单项选择题
逻辑的英文单词logic源自（）。
A.古罗马B.古希腊C.古巴比伦D.古印度
多项选择题 中世纪的经院哲学家们进一步发展了逻辑学的工作主要包括（）
单项选择题 特别是（）在1930年的博士论文中证明了一阶谓词逻辑的完全性，标志着现代逻辑基础理论的成熟。
单项选择题 以下哪一个属于纯逻辑内容（）
