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