Similar to 形式の法則
プリンキピア・マテマティカ
Principia Mathematica
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm▼-1 trends
関係代数 (数学)
Relation algebra
ブール代数
Boolean algebra (structure)
Μ再帰関数
General recursive function
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
0
0
1
1▼-7 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
青色本・茶色本
Blue and Brown Books
概念記法
Begriffsschrift
ゲーデル、エッシャー、バッハ
Gödel, Escher, Bach
算術の基礎
The Foundations of Arithmetic
ノヴム・オルガヌム
Novum Organum
ポール・ロワイヤル論理学
Port-Royal Logic
論理学体系
A System of Logic
論理哲学論考
Tractatus Logico-Philosophicus