Category:量化

Gottlob Frege

Rete algorithm

Game semantics

Uniqueness quantification

Quantifier (linguistics)

Begriffsschrift

Montague grammar

Arbitrariness

Existential quantification

Universal quantification

(ε, δ)-definition of limit