离散数学
FC(一阶谓词演算系统)及其相关定理
介绍了FC及其相关定理
离散数学
ND(自然演绎推理系统)及其相关定理
介绍了ND及其相关定理
离散数学
PC(命题逻辑演算形式系统)及其相关定理
介绍了PC及其相关定理
1
2
