Similar to プリンキピア・マテマティカ
構造と力
ゴート語文法 (ジョセフ・ライト)
Grammar of the Gothic Language
コクテール
国家と革命
The State and Revolution
古ノルド語入門
An Introduction to Old Norseさへづり草
アッカーマン関数
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
Μ再帰関数
General recursive function
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 MathematicsAbramowitz and Stegun
Abramowitz and Stegun
