Similar to ブーリアン型
保存拡大
Conservative extension
マーティンの公理
Martin's axiom
Μ再帰関数
General recursive function無限
Infinity無限論理
Infinitary logic矛盾許容論理
Paraconsistent logic
命題関数
Propositional function
メタ理論
Metatheoryメタ論理学
Metalogic
メレオロジー
Mereology
モデル理論
Model theory
有限演算
Finitary有限モデル理論
Finite model theoryラムダ計算
Lambda calculus
レーブの定理
Löb's theorem連言標準形
Conjunctive normal form
ロッサーのからくり
Rosser's trick
論理式 (数学)
Logical formula
論理プログラミング
Logic programming
データ型
Data type
C Sharpのデータ型
FIFO
FIFO (computing and electronics)
LIFO
LIFO
Option型
Option type
Time t
Void (コンピュータ)
Void type
依存型
Dependent type
インタフェース (抽象型)
Interface (object-oriented programming)
