TY  - JOUR
AU  - E. G. Beley
AU  - A. A. Semenov
TI  - On propositional encoding of distinction property in finite sets
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2019
SP  - 3
EP  - 20
VL  - 28
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2019_28_a0/
LA  - ru
ID  - IIGUM_2019_28_a0
ER  -