%0 Journal Article
%A M. A. Khachatryan
%T On certain theorems of analysis in the formal system Kleene--Vesley
%J Matematičeskie zametki
%D 1977
%P 109-116
%V 21
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1977_21_1_a12/
%G ru
%F MZM_1977_21_1_a12