Khachatryan M A

Publications in Math-Net.Ru

1. On certain theorems of analysis in the formal system Kleene–Vesley
   
   Mat. Zametki, 21:1 (1977),  109–116