|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1984 |
1. |
А. Б. Николенко, “Метод инвариантных преобразований и логический вывод”, Матем. заметки, 36:1 (1984), 3–15 ; A. B. Nikolenko, “Method of invariant transformations and logical deduction”, Math. Notes, 36:1 (1984), 493–500 |
|