Алексанян, Сона Рафиковна <br/><br/>
Исследования сложностей выводов в формальных системах :  Дис. ... канд. физ. -мат. наук по спец.: 01.01.09- "Математическая кибернетика и математическая логика" / 
С.Р. Алексанян. 
 - Ереван,  2009. 
 - 95 с. 
<br/><br/>Науч. рук. д-р физ.-мат. наук А.А. Чубарян ; Тема дис. утв. в Ерев. гос. ун-те 
<br/><br/>Список лит. с 91-95 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая кибернетика<br/>Математическая логика
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Dissertation