Исследование предикатноописуемых классов функций в k-значной логикедипломная работа (Специалист)