Kovtun Mikhail Romanovich

Publications in Math-Net.Ru

1. A system of intuitionistic analysis that is equivalent to classical analysis
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1983, no. 1,  41–44