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