几个逻辑相关的英语单词失事的意思逻辑 logic 数理逻辑 mathematical logic 模型论 model theory 集合论 t theory 递归论 recursion theory 证明论 proof theory 非标准分析 nonstandard analysis 反推数学 rever mathematics 护胸元数学 metamathematics 二阶算术的子系
几个逻辑相关的英语单词装机指南逻辑 logic 数理逻辑 mathematical logic 模型论 model theory 集合论 t theory 递归论 recursion theory 证明论 proof theory 非标准分析 nonstandard analysis 反推数学 rever mathematics 元数学 metamathematics 二阶算术的子系统 s