Кванторы и предикаты: Теория и примеры