Category:数理論理学関連のスタブ項目
四値論理
Four-valued logic
補題
Lemma (mathematics)
逆
Converse (logic)
二重否定の除去
カット除去定理
Cut-elimination theorem
任意
Arbitrariness
メタ言語
Metalanguage
アリティ
Arity
型理論
Type theory
プリンキピア・マテマティカ
Principia Mathematica
比例記号
ショアのアルゴリズム
Shor's algorithm
恒真式
Tautology (logic)
推論
Inference
アッカーマン関数
Ackermann function