Алексанян Сона Рафиковна

Публикации в базе данных Math-Net.Ru

1. О полиномиальных ограничениях сложностей выводов в системах Фреге
   
   Сиб. матем. журн., 50:2 (2009),  243–249
2. On proof normal forms for some systems of classical propositional logic
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2007, № 1,  39–45