Category:数理論理学
制約論理プログラミング
Constraint logic programming項書き換え
Rewriting不動点コンビネータ
Fixed-point combinator二階述語論理
Second-order logicレーブの定理
Löb's theorem節標準形
ロッサーのからくり
Rosser's trick帰納的可算言語
Recursively enumerable languageSmn定理
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