Правила вывода с метапеременными и логические уравнения в табличных и предтабличных модальных логиках
View/ Open:
URI (for links/citations):
https://elib.sfu-kras.ru/handle/2311/68103Author:
Березина, Полина Сергеевна
Scientific Advisor:
Кияткин, Владимир Ростиславович
Corporate Contributor:
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Date:
2017Bibliographic Citation:
Березина, Полина Сергеевна. Правила вывода с метапеременными и логические уравнения в табличных и предтабличных модальных логиках [Электронный ресурс] : магистерская диссертация : 01.04.01 / П. С. Березина. — Красноярск : СФУ, 2017.Graduate Speciality:
01.04.01 МатематикаGraduate Program:
01.04.01.02 Алгебра, логика и дискретная математикаAcademic Degree or Qualification:
МагистрCollections:
- Магистерские диссертации [4085]