Category:数理論理学
ラムダ計算
Lambda calculus一階述語論理
First-order logic再帰
Recursion
アルゴリズム
Algorithm▲1 trends
述語論理
Predicate logic
二階述語論理
Second-order logic
時相論理
Temporal logic真理関数
Truth function
高階述語論理
Higher-order logic
不動点コンビネータ
Fixed-point combinator
計算可能性理論
Computability theory
シークエント計算
Sequent calculus
Μ再帰関数
General recursive function
負論理
Logic level
数学基礎論
Foundations of mathematics
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
数理論理学
Mathematical logic
線形論理
Linear logic連言標準形
Conjunctive normal form
逆数学
Reverse mathematics
完全性
Completeness (logic)
存在記号
Existential quantification
強制法
Forcing (mathematics)
吸収法則
Absorption lawゲーデル数
Gödel numbering
決定可能性
Decidability (logic)
グッドスタインの定理
Goodstein's theorem
エルブランの定理
Herbrand's theorem