Similar to プリンキピア・マテマティカ
一外交官の見た明治維新
オリエンタリズム (サイード)
Orientalism (book)
カクテル（混合酒調合法）
悲しき熱帯 (レヴィ・ストロース)
Tristes Tropiques
完全なる結婚
Ideal Marriage: Its Physiology and Technique
アッカーマン関数
Ackermann function
アリティ
Arity
型理論
Type theory
カット除去定理
Cut-elimination theorem
議論領域
Domain of discourseクレイグの補間定理
Craig interpolation
後者関数
Successor function
恒真式
Tautology (logic)
ハイティング代数
Heyting algebraハルモス代数
Polyadic algebra
メレオロジー
Mereology
有限モデル理論
Finite model theory
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm▲1 trends
Μ再帰関数
General recursive function
Abramowitz and Stegun
Abramowitz and Stegun
Disquisitiones Arithmeticae
Disquisitiones ArithmeticaeGraduate Texts in Mathematics
Graduate Texts in MathematicsGrundzüge der Mengenlehre
Grundzüge der MengenlehreSéminaire de Géométrie Algébrique du Bois Marie
Séminaire de Géométrie Algébrique du Bois MarieUndergraduate Texts in Mathematics
Undergraduate Texts in MathematicsArithmetica Universalis
Arithmetica Universalis
