Ֆորմալ հաշիվներ և աքսիոմատիկ համակարգեր ոչ դասական տրամաբանություններում

Научный руководитель/Консультант
Искомая ученая степень
Кандидат наук
Дата защиты
Завершено

2002

Подтверждено