Similar to 項書き換え
BRAC
BRAC (organisation)BtoBマーケティング
Industrial marketingB型肝炎
Hepatitis B10
1011
11 (number)12
12 (number)13
13 (number)19
19 (number)40
40 (number)70
70 (number)100
100400
400 (number)700
700 (number)1000
1000 (number)1000000
1,000,000アッカーマン関数
Ackermann function一階述語論理
First-order logicオートマトン
Automata theory型付きラムダ計算
Typed lambda calculus帰納的可算集合
Computably enumerable set計算可能関数
Computable functionゲーデル数
Gödel numbering原始再帰関数
Primitive recursive function再帰
Recursion述語論理
Predicate logic数学基礎論
Foundations of mathematics文字列書き換え系
Semi-Thue systemSmn定理
Smn theorem