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