|
|
РА321511
Болибекян, Оганес Рафаелович.
Формальные исчисления и аксиоматические системы в неклассических логиках [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Болибекян Оганес Рафаелович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2002. - 15 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Институт проблем информатики и автоматизации НАН РА
Видання зберігається у :
Основний фонд
|
|