|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2007 |
1. |
Б. Р. Федоришин, “Явный базис для допустимых правил вывода логики Гёделя — Леба $GL$”, Сиб. матем. журн., 48:2 (2007), 423–430 ; B. R. Fedorishin, “An explicit basis for the admissible inference rules in the Gödel–Löb logic $GL$”, Siberian Math. J., 48:2 (2007), 339–345 |
6
|
|
2002 |
2. |
А. Н. Руцкий, Б. Р. Федоришин, “Критерий наследования допустимых правил вывода $K4$”, Сиб. матем. журн., 43:6 (2002), 1350–1361 ; A. N. Rutskii, B. R. Fedorishin, “An inheritance criterion for the admissible inference rules of $K4$”, Siberian Math. J., 43:6 (2002), 1094–1102 |
3
|
|