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