|
|
Публикации в базе данных 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 |
|