Citation link:
Title:
Логики за релационни геометрични структури : Дистрибутивна мереотопология, разширени контактни алгебри и свързани безкванторни логики : Автореферат / Татяна Маринова Иванова ; Науч. ръководител Димитър Вакарелов.; Logics for relational geometric structures: distributive mereotopology, extended contact algebras and related quantifier-free logics Tatyana Marinova Ivanova
Creator:
Иванова, Татяна Маринова; Вакарелов, Димитър Иванов науч. ръководител; Ivanova, Tatjana Marinova.
Date:
2016 [issued] 2016.
Description:
Кор. опис.; Автореферат на дисертация за присъждане на образователна и науч. степен "доктор", Проф. направление 4.5 "Математика", науч. спец. "Мат. логика" СУ "Св. Климент Охридски", Фак. по математика и информатика, Мат. логика и прил. 2016; Библиогр. с. 16-19; Електронно копие София Университетска библиотека "Св. Климент Охридски" 2017
Subject:
Логика, символна и математическа.
*** *** ***
001:
001115977
040:
BG-SoUL
041:
bul
044:
bu
100:
Иванова, Татяна Маринова
245:
Логики за релационни геометрични структури :| Дистрибутивна мереотопология, разширени контактни алгебри и свързани безкванторни логики : Автореферат /| Татяна Маринова Иванова ; Науч. ръководител Димитър Вакарелов.
246:
Logics for relational geometric structures: distributive mereotopology, extended contact algebras and related quantifier-free logics| Tatyana Marinova Ivanova
256:
Характеристика на файл (1 PDF файл : 353 KB)
260:
София,| 2016.
300:
19 с. ;| 21 см.
500:
Кор. опис.
502:
Автореферат на дисертация| за присъждане на образователна и науч. степен "доктор", Проф. направление 4.5 "Математика", науч. спец. "Мат. логика"| СУ "Св. Климент Охридски", Фак. по математика и информатика, Мат. логика и прил.| 2016
504:
Библиогр. с. 16-19
506:
Дигиталният обект е предназначен само за лично ползване
533:
Електронно копие| София| Университетска библиотека "Св. Климент Охридски"| 2017
650:
Логика, символна и математическа.
700:
Вакарелов, Димитър Иванов| науч. ръководител| Ivanova, Tatjana Marinova.
