Структуры значения Логич. анализ. - Петров В.В (Наука, 1979)