Category:数理論理学
メタ論理学
Metalogic
ハイティング代数
Heyting algebra超現実数
Surreal number
必要条件
Necessary condition
ヒルベルト・プログラム
Hilbert's program
形式の法則
Laws of Form
初等関数算術
Elementary function arithmetic
構造的帰納法
Structural induction十分条件
Sufficient condition原子論理式
Atomic formula
置換公理
Axiom schema of replacement
合流性
Confluence (abstract rewriting)ハルモス代数
Polyadic algebra
並行論理プログラミング
Concurrent logic programming
記述計算量
Descriptive complexity theory
無限論理
Infinitary logic
ゲーム意味論
Game semantics
後者関数
Successor function
推移関係
Transitive relation
自己検証理論
Self-verifying theories
反射関係
Reflexive relation
関係の合成
Composition of relations
論理プログラミング
Logic programming
帰納的可算言語
Recursively enumerable language
チューリング次数
Turing degree
ブール値関数
Boolean-valued function
タルスキの定義不可能性定理
Tarski's undefinability theorem
カット除去定理
Cut-elimination theorem