Category:数理論理学
再帰
Recursion▲1 trendsラムダ計算
Lambda calculus
ブーリアン型
Boolean data type
ブール代数
Boolean algebra (structure)無限
Infinity
数理論理学
Mathematical logic
アルゴリズム
Algorithm
計算可能性理論
Computability theory
恒真式
Tautology (logic)
ヒルベルト・プログラム
Hilbert's program矛盾許容論理
Paraconsistent logic
時相論理
Temporal logic
モデル理論
Model theory連言標準形
Conjunctive normal form
数学基礎論
Foundations of mathematics
逆数学
Reverse mathematics超現実数
Surreal number
プレスバーガー算術
Presburger arithmetic一階述語論理
First-order logic
エルブランの定理
Herbrand's theorem
反射関係
Reflexive relation
グッドスタインの定理
Goodstein's theorem
タルスキの定義不可能性定理
Tarski's undefinability theorem
負論理
Logic level
導出原理
Resolution (logic)原始再帰関数
Primitive recursive function
決定可能性
Decidability (logic)
シークエント計算
Sequent calculus
