Similar to 変数_(数学)
プレスバーガー算術
Presburger arithmetic
負論理
Logic level
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
保存拡大
Conservative extension
マーティンの公理
Martin's axiom無限
Infinity▼-1 trends
無限論理
Infinitary logic矛盾許容論理
Paraconsistent logic
命題関数
Propositional function
メタ理論
Metatheoryメタ論理学
Metalogic
メレオロジー
Mereology
モデル理論
Model theory
有限演算
Finitary有限モデル理論
Finite model theoryラムダ計算
Lambda calculus▼-1 trends
レーブの定理
Löb's theorem連言標準形
Conjunctive normal form
ロッサーのからくり
Rosser's trick
論理式 (数学)
Logical formula
論理プログラミング
Logic programming
論理記号の一覧
List of logic symbols▼-1 trends
インド数字
Eastern Arabic numerals
上付き文字
Superscript
エディントンのイプシロン
Levi-Civita symbol
エトルリア数字
Etruscan numerals
階乗
Factorial
