Similar to ラムダ計算
コンビネータ論理
Combinatory logic再帰的定義
Recursive definition
述語変換意味論
Predicate transformer semantics
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logic
双模倣性
Bisimulation
チューリングマシン
Turing machine
表明 (プログラミング)
Assertion (software development)
プログラム意味論
Semantics (computer science)
第4SS警察装甲擲弾兵師団
4th SS Polizei Panzergrenadier Division
第11SS装甲偵察大隊
1920年アントワープオリンピックのギリシャ選手団
Greece at the 1920 Summer Olympics
1952年の音楽
1952 in music
ギルモアのアルゴリズム
項書き換え
Rewriting
公理図式
Axiom schema
合流性
Confluence (abstract rewriting)
再帰理論
シークエント計算
Sequent calculus
自己認識論理
Autoepistemic logic
時相論理
Temporal logic
自動推論
Automated reasoning
節標準形
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
導出原理
Resolution (logic)
Μ再帰関数
General recursive function
2の12乗根
Twelfth root of two
Annals of Mathematics
Annals of Mathematics