萨哈罗夫
- 公理模式
- 伯克霍夫定理
- Church-Rosser 性质
- Church-Rosser 定理
- 合流的
- 创造集
- 临界对
- 割消定理
- 等式逻辑
- 有限终止
- 一阶逻辑
- 形式语言
- 一般递归函数
- 哥德尔数
- 文法
- 基原子
- 基子句
- 基文字
- Herbrand 基
- Herbrand 定理
- Herbrand 域
- Horn 子句
- 解释
- 直觉主义逻辑
- Kleene 递归定理
- Kleene s-m-n 定理
- Knuth-Bendix 完成算法
- König 引理
- Löwenheim-Skolem 定理
- 肯定前件
- 部分求值
- 前束范式
- 生产集
- 命题演算
- 递归集
- 递归可枚举集
- 递归同构
- 递归不可判定
- 可归约的
- 归约序
- 归约系统
- 正则表达式
- 消解
- 消解原理
- Rice 定理
- 序贯演算
- Skolem 函数
- Skolem 范式
- 严格序
- 项重写系统
- 合一
- 泛代数