Text this: Логические методы исследования дискретных моделей выбора