Category:量化

Arbitrariness

Rete algorithm

Uniqueness quantification

Game semantics

Gottlob Frege

Quantifier (linguistics)

Begriffsschrift

Existential quantification

Montague grammar

Universal quantification

(ε, δ)-definition of limit