Логики конечнозначных предикатов на основе неравенств : Учеб. пособиеКосовский, Николай Кириллович2000268 с.