Герасимов Александр Сергеевич
Диссертация на соискание учёной степени кандидата физико-математических наук
"Разработка и реализация алгоритма поиска вывода в расширении
бесконечнозначной предикатной логики Лукасевича"
(Санкт-Петербургский государственный университет, 2007)
Автореферат диссертации
Диссертация