Scientific Advisor | Кияткин, Владимир Ростиславович | |
Author | Березина, Полина Сергеевна | |
Accessioned Date | 2017-12-08T07:14:18Z | |
Available Date | 2017-12-08T07:14:18Z | |
Issued Date | 2017 | |
Bibliographic Citation | Березина, Полина Сергеевна. Правила вывода с метапеременными и логические уравнения в табличных и предтабличных модальных логиках [Электронный ресурс] : магистерская диссертация : 01.04.01 / П. С. Березина. — Красноярск : СФУ, 2017. | |
URI (for links/citations) | https://elib.sfu-kras.ru/handle/2311/68103 | |
Language | ru_RU | |
Publisher | Сибирский федеральный университет | |
Title | Правила вывода с метапеременными и логические уравнения в табличных и предтабличных модальных логиках | |
Type | Thesis | |
Type | Master Thesis | |
Graduate Speciality Code | 01.04.01 | |
Academic Degree or Qualification | Магистр | |
Publisher Location | Красноярск | |
GRNTI | 27.03.19 | |
Update Date | 2017-12-08T07:14:18Z | |
Institute | Институт математики и фундаментальной информатики | |
Department | Кафедра алгебры и математической логики | |
Graduate Speciality | 01.04.01 Математика | |
Graduate Program Code | 01.04.01.02 | |
Graduate Program | 01.04.01.02 Алгебра, логика и дискретная математика | |
Scientific Advisor Information | кандидат физико-математических наук, доцент | |