Главная
Новости
Оформление статьи
Архив
Авторы
Поиск
Вход
Федоришин Б. Р.
Публикации в СМЖ:
Федоришин Б. Р.
Явный базис для допустимых правил вывода логики Гëделя — Леба $GL$
//
Том 48 (2007), Номер 2
, стр. 423–430
Руцкий А. Н.
,
Федоришин Б. Р.
Критерий наследования допустимых правил вывода $K4$
//
Том 43 (2002), Номер 6
, стр. 1350–1361
© Сибирский Математический Журнал, 2003-2006