ФИО выпускника | Грефенштейн Александр Витальевич |
---|---|
Направление подготовки (специальность) | 01.03.01 Математика |
Квалификация | Бакалавр |
Наименование ВКР | Теоремы о сильной полноте для кванторных версий модальной логики Белнапа–Данна и сопутствующие результаты |
Статус | Нет согласия на публикацию |
ФИО научного руководителя | доктор физико-математических наук А.В.Тискин |
Год | 2022 |