Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Аникеев А С https://www.mathnet.ru/rus/person74912 Список публикаций на Google Scholar Публикации в базе данных Math-Net.Ru Цитирования 1972 1. А. С. Аникеев, “О некоторой классификации выводимых пропозициональных формул”, Матем. заметки, 11:2 (1972),  165–174      ; A. S. Anikeev, “Classification of derivable propositional formulas”, Math. Notes, 11:2 (1972), 106–110 Организации Московский государственный университет имени М. В. Ломоносова