TY  - BOOK
AU  - Алексанян,Сона Рафиковна
TI  - Исследования сложностей выводов в формальных системах: Дис. ... канд. физ. -мат. наук по спец.: 01.01.09- "Математическая кибернетика и математическая логика" 
PY  - 2009///
CY  - Ереван
KW  - Математическая кибернетика
KW  - Математическая логика
KW  - Dissertation
N1  - Науч. рук. д-р физ.-мат. наук А.А. Чубарян ; Тема дис. утв. в Ерев. гос. ун-те; Список лит. с 91-95
ER  -