Quantifiers: Logics, Models and Computation

Bok av Michal Krynicki