Citation link:
Title:
Крайни модели чрез резолюция с термоиди : Категорни методи в теория на рекурсията и индуктивни дефиниции Автореферат / Антон Кирилов Зиновиев ; Науч. ръководител Любомир Иванов.
Creator:
Зиновиев, Антон Кирилов; Иванов, Любомир Лалов науч. ръководител
Date:
2014 [issued] 2014.
Description:
Кор. опис.; Автореферат на дисертация за присъждане на образователна и науч. степен Доктор по проф. направление "Математика" (45), науч. спец. "Мат. логика" СУ "Св. Климент Охридски", Фак. по математика и информатика, Кат. по мат. логика и прил. й 2014; Електронно копие София Софийски университет "Св. Климент Охридски" 2015
Subject:
Логика, символна и математическа.; Модели и моделиране.; Системен анализ.
*** *** ***
041:
bul
044:
bu
100:
Зиновиев, Антон Кирилов
245:
Крайни модели чрез резолюция с термоиди :| Категорни методи в теория на рекурсията и индуктивни дефиниции| Автореферат /| Антон Кирилов Зиновиев ; Науч. ръководител Любомир Иванов.
256:
Текст и изображения в електронен вид (1 PDF файл : 957 KB)
260:
София,| 2014.
300:
33 с. ;| 21 см.
500:
Кор. опис.
502:
Автореферат на дисертация| за присъждане на образователна и науч. степен Доктор по проф. направление "Математика" (45), науч. спец. "Мат. логика"| СУ "Св. Климент Охридски", Фак. по математика и информатика, Кат. по мат. логика и прил. й| 2014
506:
Дигиталният обект е предназначен само за лично ползване
533:
Електронно копие| София| Софийски университет "Св. Климент Охридски"| 2015
650:
Логика, символна и математическа.| Модели и моделиране.| Системен анализ.
700:
Иванов, Любомир Лалов| науч. ръководител
