乌维·布贝克 汉斯·克莱那·布吕宁 孙雯 徐凤生 李天志 张庆熊 霍书全 金樊 徐小萍 马雷 代光林

赋值 类比 完全性 谓词逻辑 证明方法 一阶谓词逻辑 可靠性 状态位 电路设计 程序逻辑 变元 主合取范式 语法完全性 自然推理 演绎推理 推理 反证法 联合演算 不完全性 布尔代数 多值逻辑 模态系统 道义逻辑 公理模式 有效性 可互定义性 代入规则 现实论 布尔线路 运算