Category:数理論理学
アルゴリズム
Algorithm▲1 trendsブール代数
Boolean algebra (structure)ラムダ計算
Lambda calculus一階述語論理
First-order logic数理論理学
Mathematical logicゲーデルの不完全性定理
Gödel's incompleteness theoremsブーリアン型
Boolean data type神託機械
Oracle machineプリンキピア・マテマティカ
Principia Mathematica述語論理
Predicate logicブール関数
Boolean function数学基礎論
Foundations of mathematics原始再帰関数
Primitive recursive function計算可能性理論
Computability theory恒真式
Tautology (logic)ゲーデル数
Gödel numbering連言標準形
Conjunctive normal form存在記号
Existential quantification矛盾許容論理
Paraconsistent logic反射関係
Reflexive relation超現実数
Surreal number負論理
Logic level型理論
Type theory置換公理
Axiom schema of replacement推移関係
Transitive relation計算可能関数
Computable function吸収法則
Absorption lawシークエント計算
Sequent calculus