Project

The internal Syntax of Quantifiers