Category:数理論理学
制約論理プログラミング
Constraint logic programming
項書き換え
Rewriting
不動点コンビネータ
Fixed-point combinator
二階述語論理
Second-order logic
レーブの定理
Löb's theorem
節標準形
ロッサーのからくり
Rosser's trick
帰納的可算言語
Recursively enumerable language
Smn定理
Smn theorem
ススリンの問題
Suslin's problem
エルブランの定理
Herbrand's theorem
ブーリアン型
Boolean data type
決定可能性
Decidability (logic)
並行制約プログラミング
Concurrent constraint logic programming
強制法
Forcing (mathematics)
パースの法則
Peirce's law
逆数学
Reverse mathematics
推移関係
Transitive relation
線形論理
Linear logic
述語論理
Predicate logicラムダ計算
Lambda calculus