Stepanov V I

Publications in Math-Net.Ru

1. On the theory of models for intuitionistic logic
   
   Mat. Sb. (N.S.), 120(162):2 (1983),  227–239
2. Second-order arithmetic and the consistency of first-order theories
   
   Uspekhi Mat. Nauk, 37:4(226) (1982),  179–180
3. Self-applicable propositions for the standard and Rosser predicates of provability
   
   Uspekhi Mat. Nauk, 36:1(217) (1981),  227–228
4. On a characterization of algebraically compact Abelian groups
   
   Uspekhi Mat. Nauk, 34:3(207) (1979),  196
5. Introduction of an additive in the form of an aqueous solution of potassium carbonate at high temperatures and concentrations
   
   TVT, 13:6 (1975),  1261–1266


6. Charles Hermite, Course of analysis
   
   Uspekhi Mat. Nauk, 1938, no. 4,  346