%0 Journal Article %A E. G. Beley %A A. A. Semenov %T On propositional encoding of distinction property in finite sets %J The Bulletin of Irkutsk State University. Series Mathematics %D 2019 %P 3-20 %V 28 %I mathdoc %U http://geodesic.mathdoc.fr/item/IIGUM_2019_28_a0/ %G ru %F IIGUM_2019_28_a0