Similar to 初等関数算術
定義可能集合
Definable set
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
デデキント数
Dedekind number
導出原理
Resolution (logic)
二階述語論理
Second-order logic
パースの法則
Peirce's law
ハイティング代数
Heyting algebra
パリス＝ハーリントンの定理
Paris–Harrington theoremハルモス代数
Polyadic algebra
反射関係
Reflexive relation
必要条件
Necessary condition
ヒルベルト・プログラム
Hilbert's program
ブーリアン型
Boolean data type
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
ブール関数
Boolean function
ブール代数
Boolean algebra (structure)
ブール値関数
Boolean-valued function
ブール領域
Boolean domain
不動点コンビネータ
Fixed-point combinator
部分構造論理
Substructural logic
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
プリンキピア・マテマティカ
Principia Mathematica
プレスバーガー算術
Presburger arithmetic
負論理
Logic level
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
変数 (数学)
Variable (mathematics)
マーティンの公理
Martin's axiom