%0 Journal Article
%A V. V. Rybakov
%T Criteria for admissibility of rules of inference with parameters in the intuituonistc propositional calculus
%J Izvestiya. Mathematics 
%D 1991
%P 693-703
%V 37
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1991_37_3_a11/
%G en
%F IM2_1991_37_3_a11