|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1983 |
1. |
В. И. Степанов, “К теории моделей для интуиционистской логики”, Матем. сб., 120(162):2 (1983), 227–239 ; V. I. Stepanov, “On the theory of models for intuitionistic logic”, Math. USSR-Sb., 48:1 (1984), 223–235 |
|
1982 |
2. |
В. И. Степанов, “Арифметика 2-го порядка и непротиворечивость теорий 1-го порядка”, УМН, 37:4(226) (1982), 179–180 ; V. I. Stepanov, “Second-order arithmetic and the consistency of first-order theories”, Russian Math. Surveys, 37:4 (1982), 139–140 |
|
1981 |
3. |
В. И. Степанов, “Самоприменимые предложения для стандартного и россеровского предикатов доказуемости”, УМН, 36:1(217) (1981), 227–228 ; V. I. Stepanov, “Self-applicable propositions for the standard and Rosser predicates of provability”, Russian Math. Surveys, 36:1 (1981), 254–255 |
1
|
|
1979 |
4. |
С. С. Рычков, В. И. Степанов, “Об одной характеризации алгебраической компактности абелевых групп”, УМН, 34:3(207) (1979), 196 ; S. S. Rychkov, V. I. Stepanov, “On a characterization of algebraically compact Abelian groups”, Russian Math. Surveys, 34:3 (1979), 217 |
|
1975 |
5. |
М. А. Стырикович, А. В. Загородних, В. Е. Картун, И. Л. Мостинский, Р. С. Нехорошев, В. Р. Песочин, Е. Г. Смирнова, В. И. Степанов, “Ввод ионизирующейся присадки в виде водного раствора $\mathrm{K}_2\mathrm{CO}_3$ высокой температуры и концентрации”, ТВТ, 13:6 (1975), 1261–1266 ; M. A. Styrikovich, A. V. Zagorodnikh, V. E. Kartun, I. L. Mostinskii, R. S. Nekhoroshev, V. R. Pesochin, E. G. Smirnova, V. I. Stepanov, “Introduction of an additive in the form of an aqueous solution of potassium carbonate at high temperatures and concentrations”, High Temperature, 13:6 (1975), 1162–1166 |
|
|
|
1938 |
6. |
В. И. Степанов, “Шарль Эрмит, “Курс анализа””, УМН, 1938, № 4, 346 |
|