Явный базис допустимых правил вывода табличных логик

Моор, Михаил Александрович

View/Open:

output.pdf (906.1 Kb)

URI (for links/citations):

https://elib.sfu-kras.ru/handle/2311/68111

Author:

Моор, Михаил Александрович

Scientific Advisor:

Римацкий, Виталий Валентинович

Corporate Contributor:

Институт математики и фундаментальной информатики

Кафедра алгебры и математической логики

Date:

2017

Bibliographic Citation:

Моор, Михаил Александрович. Явный базис допустимых правил вывода табличных логик [Электронный ресурс] : магистерская диссертация : 01.04.01 / М. А. Моор. — Красноярск : СФУ, 2017.

Graduate Speciality:

01.04.01 Математика

Graduate Program:

01.04.01.02 Алгебра, логика и дискретная математика

Academic Degree or Qualification:

Магистр

Collections:

Магистерские диссертации [4085]

Metadata:

Show full item record