TY - RPRT TI - Quantifiers metamorphoses. Generalizations, variations, algorithmic semantics AU - Alex Shkotin PY - 2019 UR - https://arxiv.org/abs/1908.11342 ID - 1908.11342 ER -