Category:量化

Game semantics

Begriffsschrift

Uniqueness quantification

Montague grammar

Rete algorithm

Quantifier (linguistics)

Existential quantification

Arbitrariness

(ε, δ)-definition of limit

Gottlob Frege

Universal quantification