Michał Krynicki

Quantifiers: Logics, Models and Computation

Quantifiers