%0 Journal Article
%A A. A. Chubaryan
%A H. R. Bolibekyan
%T On the Rabin’s speed-up of proofs for some systems of first order logic
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2010
%P 61-63
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2010_1_a10/
%G en
%F UZERU_2010_1_a10