You are here

Syntax and semantics of quantifiers