000 | 01054nam a2200229 a 4500 | ||
---|---|---|---|
001 | 000682967 | ||
003 | AM-YeNLA | ||
005 | 20210523230134.0 | ||
008 | 090912s2009 |||||||||m |||||||rus|d | ||
040 | _aAM, AiYeEPHG | ||
041 | 0 | _arus | |
100 | 1 |
_aАлексанян, Сона Рафиковна _9183537 |
|
245 | 1 | 0 |
_aИсследования сложностей выводов в формальных системах : _bДис. ... канд. физ. -мат. наук по спец.: 01.01.09- "Математическая кибернетика и математическая логика" / _cС.Р. Алексанян. |
260 |
_aЕреван, _c2009. |
||
300 | _a95 с. | ||
502 | _aНауч. рук. д-р физ.-мат. наук А.А. Чубарян ; Тема дис. утв. в Ерев. гос. ун-те | ||
504 | _aСписок лит. с 91-95 | ||
650 | 1 | 4 | _aМатематическая кибернетика |
650 | 1 | 4 | _aМатематическая логика |
655 | 4 | _aDissertation | |
999 |
_c1070413 _d1070413 |
||
942 | _cTH |