|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2000 |
| 1. |
В. В. Рыбаков, М. Терзилер, В. В. Римацкий, “Описание базиса в полу-редуцированной форме для правил вывода интуиционистской логики”, Алгебра и логика, 39:6 (2000), 720–740    ; V. V. Rybakov, M. Terziler, V. V. Rimatskii, “DescrIbing a basis in semireduced form for inference rules of intuitionistic logic”, Algebra and Logic, 39:6 (2000), 412–422  |
| 2. |
В. В. Рыбаков, В. Р. Кияткин, М. Терзилер, “Независимые базисы для правил, допустимых в предтабличных логиках”, Алгебра и логика, 39:2 (2000), 206–226 ; V. V. Rybakov, V. R. Kiyatkin, M. Terziler, “Independent bases for admissible rules in pretable logics”, Algebra and Logic, 39:2 (2000), 119–130 |
3
|
|
Обратная связь: