Натуральные исчисления для многозначных логикдипломная работа (Магистр)