世纪年代末至今,数理逻辑发展为两个演算加上四论,两个演算指的是命题演算和谓词演算,其中四论不包括下列哪一项().A递归论B证明论C模型论D推理论

  尔雅 智慧树 mooc


+
账户
更新
搜索
帮助
主页