Аксиоматизация интуиционистских логик ограниченной ширины.

Скачать файл:
URI (для ссылок/цитирований):
https://elib.sfu-kras.ru/handle/2311/27126
Автор:
Лукьянов, Александр Владимирович
Научный руководитель:
Голованов, Михаил Иванович
Коллективный автор:
Институт математики и фундаментальной информатики
Базовая кафедра вычислительных и информационных технологий
Дата:
2016
Библиографическое описание:
Лукьянов, Александр Владимирович. Аксиоматизация интуиционистских логик ограниченной ширины. [Электронный ресурс] : магистерская диссертация : 02.04.01 / А. В. Лукьянов. — Красноярск : СФУ, 2016.
Специальность выпускной работы:
02.04.01 Математика и компьютерные науки
Образовательная программа выпускной работы:
02.04.01.02 Вычислительная математика
Учёная степень или квалификация, на которую выполнена работа:
Магистр
Коллекции:
Метаданные:
Показать полную информацию