单项选择题

请用万方智搜学术资源发现服务平台检索《现代中小学教育》一刊于2016年刊登的主题为“数理逻辑”的论文题名为?()

A.离散数学中数理逻辑教学的一些观点
B.小学生数理逻辑智能培养实践研究
C.数理逻辑的程序可靠性验证
D.数理逻辑教学内容研究