Similar to 二重再帰法
紅茶の等級区分
Tea leaf grading交通輸送
Traffic
皇南パン
Hwangnam-ppang
神戸ドイツ学院インターナショナル
DSK International
後方散乱
Backscatter肛門性器間距離
Anogenital distance
氷Ih相
Ice Ih
誤解を与える統計グラフ
Misleading graph▼-1 trends
コカ・コロニゼーション
Cocacolonization
小型モジュール炉の設計一覧
List of small modular reactor designs
股間性交
Intercrural sex
国際水泳殿堂
International Swimming Hall of Fame
国際層序委員会
International Commission on Stratigraphy
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
型理論
Type theory
カット除去定理
Cut-elimination theorem
逆
Converse (logic)
逆含意
Converse implication
議論領域
Domain of discourseクレイグの補間定理
Craig interpolation
形式論理学
Formal logic
恒真式
Tautology (logic)
シュタイニッツ数
Supernatural number
ショアのアルゴリズム
Shor's algorithm
証明 (数学)
Mathematical proof
新基礎集合論
New Foundations
推論
Inference
