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