Степанов В И

Публикации в базе данных Math-Net.Ru

1. К теории моделей для интуиционистской логики
   
   Матем. сб., 120(162):2 (1983),  227–239
2. Арифметика 2-го порядка и непротиворечивость теорий 1-го порядка
   
   УМН, 37:4(226) (1982),  179–180
3. Самоприменимые предложения для стандартного и россеровского предикатов доказуемости
   
   УМН, 36:1(217) (1981),  227–228
4. Об одной характеризации алгебраической компактности абелевых групп
   
   УМН, 34:3(207) (1979),  196
5. Ввод ионизирующейся присадки в виде водного раствора $\mathrm{K}_2\mathrm{CO}_3$ высокой температуры и концентрации
   
   ТВТ, 13:6 (1975),  1261–1266


6. Шарль Эрмит, “Курс анализа”
   
   УМН, 1938, № 4,  346