Category:数理論理学
再帰
Recursion▲1 trendsラムダ計算
Lambda calculus無限
Infinity
ブール代数
Boolean algebra (structure)一階述語論理
First-order logic矛盾許容論理
Paraconsistent logic
恒真式
Tautology (logic)
計算可能性理論
Computability theory
ブーリアン型
Boolean data type
ヒルベルト・プログラム
Hilbert's program
時相論理
Temporal logic
数学基礎論
Foundations of mathematics
神託機械
Oracle machine
述語論理
Predicate logic
数理論理学
Mathematical logic
ブール関数
Boolean function
線形論理
Linear logic真理関数
Truth function
シークエント計算
Sequent calculusゲーデル数
Gödel numbering
決定可能性
Decidability (logic)
存在記号
Existential quantification連言標準形
Conjunctive normal form
論理プログラミング
Logic programming
高階述語論理
Higher-order logic
形式体系
Formal system
プレスバーガー算術
Presburger arithmetic
後者関数
Successor function
