Федоришин Богдан Романович

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

1. Явный базис для допустимых правил вывода логики Гёделя — Леба $GL$
   
   Сиб. матем. журн., 48:2 (2007),  423–430
2. Критерий наследования допустимых правил вывода $K4$
   
   Сиб. матем. журн., 43:6 (2002),  1350–1361