Current View
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:
Иванов, Любомир Лалов| науч. ръководител