Similar to パースの法則
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
関係代数 (数学)
Relation algebra
吸収法則
Absorption law
述語論理
Predicate logic
導出原理
Resolution (logic)
Μ再帰関数
General recursive function
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
直観主義 (数学の哲学)
Intuitionism
直観論理
スティーヴン・コール・クリーネ
Stephen Cole Kleene
マイケル・ダメット
Michael Dummett
直観主義型理論
Intuitionistic type theory
直観主義論理
Intuitionistic logic
二重否定翻訳
Double-negation translation
アレン・ハイティング
Arend Heyting
ライツェン・エヒベルトゥス・ヤン・ブラウワー
L. E. J. Brouwer