考试
2022-12-22 05:26:26

20世纪30年代末至今,数理逻辑发展为两个演算加上四论,两个

题目描述

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

本站整理有大量高等教育、资格考试类试题答案,Ctrl+D收藏备用!

答案解析

推理论无

推理论

加载中...
AI正在思考中,请稍候...