问题描述：
[单选]
20世纪30年代末至今，数理逻辑发展为两个演算加上四论，两个演算指的是命题演算和谓词演算，其中四论不包括下列哪一项
A．递归论
B．证明论
C．模型论
D．推理论
参考答案：查看无
答案解析：无
☆收藏
答案解析：无
☆收藏
- 我要回答: 网友(3.147.68.39)
- 热门题目: 1.黄瓜素有“百菜不如黄瓜”的说 2.银耳对平素咳喘的患者较为适宜 3.秋天天气干燥，可适当吃梨以缓