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

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

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