%0 Journal Article %A M. F. Raţă %T A criterion for functional completeness in the intuitionistic propositional logic %J Doklady Akademii Nauk %D 1971 %P 794-797 %V 201 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1971_201_4_a8/ %G ru %F DAN_1971_201_4_a8