薩哈羅夫
- 公理模式
- 伯克霍夫定理
- Church-Rosser 性質
- Church-Rosser 定理
- 合流的
- 創造集
- 臨界對
- 割消定理
- 等式邏輯
- 有限終止
- 一階邏輯
- 形式語言
- 一般遞迴函式
- 哥德爾數
- 文法
- 基原子
- 基子句
- 基文字
- Herbrand 基
- Herbrand 定理
- Herbrand 域
- Horn 子句
- 解釋
- 直覺主義邏輯
- Kleene 遞迴定理
- Kleene s-m-n 定理
- Knuth-Bendix 完成演算法
- König 引理
- Löwenheim-Skolem 定理
- 肯定前件
- 部分求值
- 前束正規化
- 生產集
- 命題演算
- 遞迴集
- 遞迴可列舉集
- 遞迴同構
- 遞迴不可判定
- 可歸約的
- 歸約序
- 歸約系統
- 正則表示式
- 消解
- 消解原理
- Rice 定理
- 序貫演算
- Skolem 函式
- Skolem 正規化
- 嚴格序
- 項重寫系統
- 合一
- 泛代數