%0 Journal Article %A A. I. Citkin %T On admissible rules of intuitionistic propositional logic %J Sbornik. Mathematics %D 1977 %P 279-288 %V 31 %N 2 %U http://geodesic.mathdoc.fr/item/SM_1977_31_2_a10/ %G en %F SM_1977_31_2_a10