Similar to 構造主義_(数学の哲学)
並行論理プログラミング
Concurrent logic programming
変数 (数学)
Variable (mathematics)
保存拡大
Conservative extension
マーティンの公理
Martin's axiom無限論理
Infinitary logic矛盾許容論理
Paraconsistent logic
命題関数
Propositional function
メタ理論
Metatheoryメタ論理学
Metalogic
モデル理論
Model theory
有限演算
Finitary有限モデル理論
Finite model theoryラムダ計算
Lambda calculus
レーブの定理
Löb's theorem連言標準形
Conjunctive normal form
ロッサーのからくり
Rosser's trick
論理式 (数学)
Logical formula
論理プログラミング
Logic programming
数学史
History of mathematics▼-1 trends
イタリア学派 (数学)
Italian school of algebraic geometry
円周率の歴史
Chronology of computation of π
科学史
History of science
確率の古典的な定義
Classical definition of probability
確率の歴史
History of probability
群論の歴史
History of group theory
算術 (書物)
Arithmetica
算道
周髀算経
Zhoubi Suanjing